欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
web2py Book 官方第二版
目前,开放图书计划正在组织第二版的翻译工作。
许可协议:Artistic License 2.0