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