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

index : guile-acl2.git

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

Masaya Tojo

about summary refs log tree commit diff

tag name	v0.1.0
tagged object	commit e57bf57ed3...

generated by cgit v1.2.3 (git 2.50.1) at 2025-10-29 05:12:58 +0000