proof-general

如果你需要编程开发方向的软件，proof-general 是个直接的选择：日常用起来比较稳。三大桌面系统 都能用，最新记录是 当前稳定版，安装包约 见页面。上手门槛不高，常用功能都在明面上。只走官方源是这条目的原则，不做任何二次打包，安装包干净是底线。安装包取自官方发布源，未做二次打包。第一次打开 proof-general 时，按向导走一遍就能上手。同分类里还有几款替代方案，可以一起对比。