欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
条目模板
来自开放百科 - 灰狐
(版本间的差异)
第3行: | 第3行: | ||
维基百科是一个自由、免费、内容开放的百科全书协作计划,参与者来自世界各地。这个站点使用Wiki,文本内容遵循[[GNU自由文档协议]]。这意味着任何人都可以编辑维基百科中的任何文章及条目。 | 维基百科是一个自由、免费、内容开放的百科全书协作计划,参与者来自世界各地。这个站点使用Wiki,文本内容遵循[[GNU自由文档协议]]。这意味着任何人都可以编辑维基百科中的任何文章及条目。 | ||
− | == | + | ==特点== |
+ | ==Wikipedia== | ||
+ | 加载 Wikipedia 的信息 | ||
==安装指南== | ==安装指南== | ||
2010年8月21日 (六) 17:40的版本
维基百科是一个自由、免费、内容开放的百科全书协作计划,参与者来自世界各地。这个站点使用Wiki,文本内容遵循GNU自由文档协议。这意味着任何人都可以编辑维基百科中的任何文章及条目。
目录 |
特点
Wikipedia
加载 Wikipedia 的信息
安装指南
FAQ
相关链接
精彩图集
分享您的观点