MediaWiki:Sitenotice

2024年8月12日 (一) 00:12的版本

2024年8月12日 (一) 00:10的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2024年8月12日 (一) 00:12的版本 (查看源代码) Allen (讨论 \| 贡献) 小下一编辑→
第1行：		第1行：
−	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem\|C++]]/[[~~OCaml ecosystem\|~~OCaml]]/[[lisp ecosystem\|Lisp]]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem\|C++]]/[[OCaml]]/[[lisp ecosystem\|Lisp]]