ACL2s 4.4.2 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы. ПО принадлежит к категории Образование. Эта бесплатная программа для Mac OS X принадлежит Georgia Tech Research Corporation and Northeastern University.
От разработчика:
ACL2 is a powerful system for integrated modeling, simulation, and inductive reasoning. Under expert control, it has been used to verify some of the most complex theorems to have undergone mechanical verification. In addition to its maturity and stability, these qualifications make it a good platform for learning about industrial-strength theorem proving.
Мы предлагаем оценить другие macOS программы, такие как Solar Walk - 3D Solar System model, TinkerTool System или Voila: Powerful screen capture & screen recorder for Mac, которые часто используются вместе с ACL2s.