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