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