- Mac
- Éducation et Science
- Science
- ACL2s
ACL2s
Description
ACL2s 4.4.2 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. Ce logiciel se trouve dans la sous-catégorie Science de Éducation et Science. Ce programme gratuit a été à l'origine écrit par Georgia Tech Research Corporation and Northeastern University.
Du développeur:
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.
Peut-être voudriez-vous essayer également des logiciels en rapport avec ACL2s ? Nous vous proposons Visual Studio Code, Final Cut Pro ou Maya.
Commentaires
Merci d'ajouter un commentaire expliquant les raisons de votre vote.