Acl2

Interpreter and prover for a Lisp dialect

Сайт проекта

Способы установки

Открыть в графическом приложении? В разработке

канал:

unstable

версия:

8.6

поддерживается:

Да

сломан:

Нет

лицензия:

Проприетарная

платформы:

78