欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
条目模板
来自开放百科 - 灰狐
(版本间的差异)
(→图集) |
(→维基百科) |
||
第10行: | 第10行: | ||
==FAQ== | ==FAQ== | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==幻灯片== | ==幻灯片== |
2010年9月19日 (日) 08:41的最后版本
维基百科是一个自由、免费、内容开放的百科全书协作计划,参与者来自世界各地。这个站点使用Wiki,文本内容遵循GNU自由文档协议。这意味着任何人都可以编辑维基百科中的任何文章及条目。
目录 |
[编辑] 特点
[编辑] 安装
[编辑] 使用
[编辑] FAQ
[编辑] 幻灯片
加载 SlideShare 的幻灯片 {{#widget:SlideShare |doc=semantic-media-wiki-semantic-forms-1205504882436734-4 |width=425 |height=348 }}
[编辑] RSS订阅
[编辑] 链接
[编辑] 图集
屏幕截图
分享您的观点