Salut,
ACL2, A Computationnal Logic for Applicative Common Lisp, est un démonstrateur de théorèmes semi-automatique utilisant le langage Common Lisp. Alors, je voudrais savoir s'il y a par hasard sur ce forum des personnes qui ont une connaissance de cet outil ???
Merci
Partager