an ACL2 style theorem prover with structural diff, embedded in scheme.
Primary LanguageSchemeOtherNOASSERTION