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