eprover

如果你需要编程开发方向的软件，eprover 是个直接的选择：日常用起来比较稳。覆盖 三大桌面系统，版本 当前稳定版，下载体积约 见页面。上手门槛不高，常用功能都在明面上。按平台拆开放是这条目的原则，下载前能先确认系统，省得装错了再重来。首次启动慢一点属于正常，之后会顺畅很多。eprover 的安装包不大，装完占用也算克制。版本号变化不大的情况下，不必急着升级。