欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
条目模板
来自开放百科 - 灰狐
（版本间的差异）
(→精彩图集) |
|||
| 第20行： | 第20行： | ||
</gallery> | </gallery> | ||
| − | [[Category: | + | [[Category:Wiki]] |
2010年8月21日 (六) 03:50的版本
维基百科是一个自由、免费、内容开放的百科全书协作计划，参与者来自世界各地。这个站点使用Wiki，文本内容遵循GNU自由文档协议。这意味着任何人都可以编辑维基百科中的任何文章及条目。
目录 |
维基百科的特点
安装指南
FAQ
相关链接
精彩图集
Share and discover. Use drag and drop to share your photo
Searching is easy in Flock.
Now Flock will notify you whenever there's new content.
分享您的观点
