欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TeX 是 LaTeX 的基石,LaTeX 建立在 TeX 之上。
http://www.latex-project.org/