欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
署名-相同方式共享 3.0 Unported (CC BY-SA 3.0)
您可以自由:
惟须遵守下列条件:
备注:Wikipedia uses the GFDL (coupled with the Creative Commons Attribution Share-Alike License) for all of its text.