欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
参与灰狐10周年庆的朋友们:
要参与活动的朋友可提交你的姓名、邮件等联系方式,方便我们与你尽快联系。
<discussion>characters_max=300</discussion>