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