欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Tex Live
Debian
$ apt-get install texlive $ tex -help $ tlmgr -help $ sudo apt install tk perl-tk $ tlmgr init-usertree $ tlmgr -gui