欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TeX 是 LaTeX 的基石,LaTeX 建立在 TeX 之上。
通常,在linux上安装TeX Live,而在mac上安装MacTeX。
#apt-get isntall vim-latexsuite - brings the LaTeX power to Vim