欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
您的关注列表中的标题在下面显示,同时亦都可以通过编辑这个表去加入以及移除标题;一行一个标题。当完成以后,点击更新关注列表。你亦都可以去用标准编辑器。