欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
差异选择：选出需要对比的版本，按“回车键”或下方的按钮进行对比。 说明：（当前）=与最后版本之间的差异，（先前）=与上一版本之间的差异，小=小编辑。
