ACL2s

Georgia Tech Research Corporation and Northeastern University.

О, нет

ссылка на загрузку не доступна

Лицензия: С открытым кодом

Количество загрузок:3

Последняя версия:4.4.2

Сообщить о неточности

Описание

Cкриншот

Версия 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, Integrity или AJA System Test, которые часто используются вместе с ACL2s.

полезно

Как защитить свой Mac от вредоносных программ

полезно

Как делиться файлами

полезно

Как печатать 10 пальцами