README.md - guile-acl2.git - An implementation of Guile's ACL2 (A Computational Logic for Applicative Common Lisp) compiler.

about summary refs log tree commit diff

path: root/README.md

blob: d5e82a0cf03d69716f4481330f86ff70ff95bce6 (plain)

# Guile-ACL2

An implementation of Guile's ACL2 (A Computational Logic for Applicative Common
Lisp) compiler.