欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Booktype 是一个自由、开源的图书编辑、出版系统,支持 PDF, ePUB, .mobi, ODT 和 HTML 格式,使用 Python 语言开发,采用 GNU GPL v3 许可协议。