acl2

acl2 属于编程开发，日常用起来比较稳，适合长期放在常用列表里。页面上的安装包对应 三大桌面系统，当前版本 当前稳定版，包体约 见页面。上手门槛不高，常用功能都在明面上。同类放一起比是这条目的原则，看一眼就知道该选哪个，不用来回切标签页。下载后建议先校验数字签名，再开始安装。acl2 支持自定义设置，改完记得保存一次。往下拉能看到各平台的下载入口与历史版本。