欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
版本
授权协议
本Wiki由MediaWiki驱动，版权所有 © 2001-2024 Magnus Manske、Brion Vibber、Lee Daniel Crocker、Tim Starling、Erik Möller、Gabriel Wicke、Ævar Arnfjörð Bjarmason、Niklas Laxström、Domas Mituzas、Rob Church、Yuri Astrakhan、Aryeh Gregor、Aaron Schulz、Andrew Garrett、Raimond Spekking、Alexandre Emsenhuber、Siebrand Mazeland、Chad Horohoe、Roan Kattouw、Trevor Parscal、Bryan Tong Minh、Sam Reed、Victor Vasiliev、Rotem Liss、Platonides、Antoine Musso和其他。
MediaWiki为自由软件；您可依据自由软件基金会所发表的GNU通用公共授权条款规定，就本程序再为发布与／或修改；无论您依据的是本授权的第二版或（您自行选择的）任一日后发行的版本。
MediaWiki是基于使用目的而加以发布，然而不负任何担保责任；亦无对适售性或特定目的适用性所为的默示性担保。详情请参照GNU通用公共授权。
您应已收到附随于本程序的GNU通用公共授权的副本；如果没有，请写信至自由软件基金会：51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA，或在线阅读。已安装的软件
| 产品 | 版本 |
|---|---|
| MediaWiki | 1.19.2 |
| PHP | 5.4.36 (cgi-fcgi) |
| MySQL | 10.1.1-MariaDB-1~wheezy-wsrep-log |
已安装的扩展程序
| 解析器钩 | |||
|---|---|---|---|
| RSS feed （版本1.7） | 在维基页面上显示一个RSS源 | Kellan Elliott-McCrea、mutante、Daniel Kinzler、Rdb、Mafs、Alxndr、Wikinaut、Chris Reigrut、K001、Jack Phoenix和Jeroen De Dauw | |
| 其他 | |||
| CentralNotice | 在页面的顶部增加統一的公告栏位 | Brion Vibber | |
| ConfirmEdit （版本1.1） | 通过验证码技术来阻止垃圾邮件和密码猜解 | Brion Vibber和其他 | |
| Google Analytics Integration （版本3.0.1） | 为跟踪插入Google通用分析脚本（和/或其他网络分析服务）到MedaiWiki页面 | Tim Laqua和Davis Mosenkovs | |
| PageDisqus （版本0.3.0） | 整合Disqus评论服务 | Michael Platzer和Luis Felipe Schenone | |
| 扩展函数 | |||
| confirmEditSetup、efCentralNoticeSetup和efReCaptcha | |||
| 解析器扩展标签 | |||
| <gallery>、<nowiki>、<pre>和<rss> | |||
| 解析器函数钩 | |||
| anchorencode、basepagename、basepagenamee、canonicalurl、canonicalurle、defaultsort、displaytitle、filepath、formatdate、formatnum、fullpagename、fullpagenamee、fullurl、fullurle、gender、grammar、int、language、lc、lcfirst、localurl、localurle、namespace、namespacee、ns、nse、numberingroup、numberofactiveusers、numberofadmins、numberofarticles、numberofedits、numberoffiles、numberofpages、numberofusers、numberofviews、padleft、padright、pagename、pagenamee、pagesincategory、pagesize、plural、protectionlevel、special、subjectpagename、subjectpagenamee、subjectspace、subjectspacee、subpagename、subpagenamee、tag、talkpagename、talkpagenamee、talkspace、talkspacee、uc、ucfirst和urlencode | |||
分享您的观点
