欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
TeXstudio
TeXstudio 是一个全功能的 LaTeX 编辑器,使用 C++ 和 Qt 开发,采用 GPLv3 许可协议。
下载最新版
Debian(版本旧)
$ sudo apt install texstudio $ texstudio