MediaWiki:Sitenotice

2024年8月22日 (四) 00:58的最后版本

2011年1月16日 (日) 06:26的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2024年8月22日 (四) 00:58的最后版本 (查看源代码) Allen (讨论 \| 贡献) 小
（未显示1个用户的427个中间版本）
第1行：		第1行：
−	[~~http:~~//~~docs.huihoo.com~~/~~jquery~~/~~jquery-fundamentals/zh-cn/index.html jQuery 基本原理~~]~~                ~~[~~http:~~/~~/docs.huihoo.com/rfc/ 中文 RFC 文档~~]~~                ~~[[~~Jinshan~~\|~~金山卫士开源计划~~]]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem\|C++]]/[[F Sharp\|F#]]/[[lisp ecosystem\|Lisp]]