Версия 4.4.2 ACL2s для macOS предоставлена бесплатно на нашем сайте. ПО принадлежит к категории Образование. Эта бесплатная программа для 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, AJA System Test или Voila: Powerful screen capture & screen recorder for Mac, которые часто используются вместе с ACL2s.