MediaWiki:Sitenotice

2022年8月31日 (三) 03:21的版本

2022年8月31日 (三) 03:17的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2022年8月31日 (三) 03:21的版本 (查看源代码) Allen (讨论 \| 贡献) 小下一编辑→
第1行：		第1行：
−	[[赞助灰狐\|请灰狐喝杯啤酒🍺]] 我们准备了下酒菜：[[Scilab]]/[[GNU Octave\|Octave]], [[Maxima~~]]/[[SageMath~~]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[Fortran]]/[[lisp ecosystem\|Lisp]]/[[Smalltalk]]	+	[[赞助灰狐\|请灰狐喝杯啤酒🍺]] 我们准备了下酒菜：[[Scilab]]/[[GNU Octave\|Octave]]/[[Maxima]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[Fortran]]/[[lisp ecosystem\|Lisp]]/[[Smalltalk]]