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

#!/bin/sh

autoreconf -vif

generated by cgit v1.2.3 (git 2.47.1) at 2025-07-01 17:42:44 +0000