欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/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自由文档协议。这意味着任何人都可以编辑维基百科中的任何文章及条目。
目录 |
维基百科的特点
维基百科的历史
维基百科项目开始于2001年1月，创始人为Larry Sanger（哲学博士）和Jimbo Wales（互联网企业家）。最初它是作为Nupedia项目的伴随项目而出现，由威尔士提供带宽和服务器。到2002年2月1日，Sanger成为Nupedia和Wikipedia的协调员。
2002年12月，维基百科的姊妹项目Wiktionary（维基词典）被建立。
2003年6月，威尔士宣布建立非盈利的维基媒体基金会，并将维基百科的版权交给它管理。此后维基媒体基金会负责维基百科的募捐和推广等基础建设工作。
安装指南
为什么上不了英文的
FAQ
为什么上不了英文的
