欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
在emacs中可以使用doxymacs来生成注释,再配合doxymacs就可以生成文档。要生成中文文档,在emacs中必须使用utf-8的中文字体。所以需要加入下面的代码到~/.emacs中。