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