欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LaTeX
来自开放百科 - 灰狐
TeX 是 LaTeX 的基石,LaTeX 建立在 TeX 之上。
#apt-get isntall vim-latexsuite - brings the LaTeX power to Vim
分享您的观点