guile-acl2.git/bootstrap, branch master An implementation of Guile's ACL2 (A Computational Logic for Applicative Common Lisp) compiler. http://git.tojo.tokyo/guile-acl2.git/atom?h=master 2021-03-29T18:50:32Z Initial commit. 2021-03-29T18:50:32Z Masaya Tojo masaya@tojo.tokyo 2021-03-23T19:40:06Z urn:sha1:ad207c351125f447db53a0a78eaa441e4b0039c8