欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
条目模板
来自开放百科 - 灰狐
维基百科(Wikipedia,简称WP)是一个国际性的内容开放的百科全书协作计划,是维基媒体基金会下的维基计划,由维基媒体基金会组织运作。2005年之后,维基百科成为世界上最大的wiki工程。
维基百科最初于2001年1月15日开设英文版,近年来发展迅速。其他版本此后陆续启动,2005年已有超过100多种语言的版本。中文维基百科开始于2002年10月底。。截至2005年6月,其各语言版本总计超过1,000,000个有效内容页面,占据了当前互联网上文章数量前50位站点的绝大多数位置。英文维基百科有超过89万个条目(2006.1.3数据),排在所有维基站点的第一位。德语,日语,法语维基百科依次排在第二、三、四位。中文维基百科按条目数量排在第11位。
维基百科是一个自由、免费、内容开放的百科全书协作计划,参与者来自世界各地。这个站点使用Wiki,文本内容遵循GNU自由文档协议。这意味着任何人都可以编辑维基百科中的任何文章及条目。
目录 |
正式条目
正式条目简介
介绍这个条目
基本特点
安装指南
FAQ
相关链接
精彩图片
分享您的观点