prover9

prover9 是编程开发里比较常用的一款，日常用起来比较稳。三大桌面系统 都能用，最新记录是 当前稳定版，安装包约 见页面。上手门槛不高，常用功能都在明面上。我们这边按平台拆开放，下载前能先确认系统，省得装错了再重来。安装前把其他安装程序关掉，能少踩不少坑。prover9 的安装包不大，装完占用也算克制。需要长期使用的话，建议固定一个版本别频繁换。