MediaWiki:Sitenotice

2023年1月29日 (日) 10:37的最后版本

2011年4月24日 (日) 23:37的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2023年1月29日 (日) 10:37的最后版本 (查看源代码) Allen (讨论 \| 贡献) 小
（未显示1个用户的364个中间版本）
第1行：		第1行：
−	[[~~2BizBox#.E6.88.90.E5.8A.9F.E6.A1.88.E4.BE.8B~~\|~~2BizBox成功案例~~]]~~                                ~~[~~http:~~//~~mozilla.com.cn~~/~~event~~/~~special/2011-mdc/ 2011 Mozilla 开发者大会，5月10日北京~~] 和 [[~~Mozilla~~/~~developer~~\|~~Mozilla开发者~~]]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[c++ ecosystem\|C++]]/[[erlang ecosystem\|Erlang]]/[[lisp ecosystem\|Lisp]]