MediaWiki:Sitenotice

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

2017年8月18日 (五) 06:46的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2023年1月29日 (日) 10:37的最后版本 (查看源代码) Allen (讨论 \| 贡献) 小
（未显示1个用户的145个中间版本）
第1行：		第1行：
−	[~~http:~~//~~gitbook.cn~~/m/~~mazi~~/~~activity~~/599652c7d26fd64b1f50ad17?giftToken=19c7aa30-83be-11e7-8e08-71a910e7a371&sut=0150ba7083d511e78e0871a910e7a371&from=singlemessage&isappinstalled=0 灰狐公开课《odoo：开源 ERP/CRM 入门与实践》]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[c++ ecosystem\|C++]]/[[erlang ecosystem\|Erlang]]/[[lisp ecosystem\|Lisp]]