Paquet : acl2-source (3.1-1)

Logique algorithmique pour application Common Lisp : fichiers sources

ACL2 est à la fois un langage de programmation dans lequel vous pouvez modeler des systèmes informatiques et un outil pour vous aider à prouver les propriétés de ces modèles.

Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2.

Étiquettes: Software Development: Interpreter, Lisp Development, Field: Mathématiques, Implemented in: Lisp, User Interface: Text-based Interactive, Role: Source Code, Interface Toolkit: Ncurses TUI