MediaWiki:Sitenotice

2024年12月28日 (六) 09:19的最后版本

2022年8月24日 (三) 01:35的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2024年12月28日 (六) 09:19的最后版本 (查看源代码) Allen (讨论 \| 贡献) 小
（未显示1个用户的16个中间版本）
第1行：		第1行：
−	[[赞助灰狐\|~~请灰狐喝杯啤酒🍺~~]] 我们准备了下酒菜：[[~~Scilab~~]]/[[~~GNU Octave\|Octave~~]], [[~~Maxima~~]]/[[~~SageMath~~]], [[~~Formal verification~~]]/[[~~Coq~~]]/[[~~ACL2~~]]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]]/[[Agda]], [[c++ ecosystem\|C++]]/[[lisp ecosystem\|Lisp]]/[[Haskell ecosystem\|Haskell]]