acl2-theorems.git/LICENSE, branch develop
Proofs with acl2
http://git.tojo.tokyo/acl2-theorems.git/atom?h=develop
2021-07-19T00:42:43Z
Initial commit.
2021-07-19T00:42:43Z
Masaya Tojo
masaya@tojo.tokyo
2021-07-19T00:42:43Z
urn:sha1:65734ee984597106a5c10bcebe26805341751423