MediaWiki:Sitenotice

2022年8月14日 (日) 12:17的版本

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