Acl2

Interpreter and prover for a Lisp dialect

Site Web du projet

Méthodes d ' installation

Ouvrez-le dans une application graphique ? En développement

canal:

unstable

version:

8.6

appui:

Oui

cassé:

Non

licence:

Free

plateformes:

78