欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenBook
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
OpenBook: 一个开放的图书写作和出版计划 | OpenBook: 一个开放的图书写作和出版计划 | ||
| + | [[Image:OpenBookProject.png]] 啄木鸟Python社区发起的[http://wiki.woodpecker.org.cn/moin/OpenBookProject 开放图书计划] | ||
==Links== | ==Links== | ||
[[Image:Wikibooks-135x135.png|right]] | [[Image:Wikibooks-135x135.png|right]] | ||
2010年9月22日 (三) 08:10的版本
OpenBook: 一个开放的图书写作和出版计划
啄木鸟Python社区发起的开放图书计划
Links
分享您的观点
