acl2-theorems.git, branch master
Proofs with acl2
http://git.tojo.tokyo/acl2-theorems.git/atom?h=master
2021-09-09T13:53:19Z
Add `(in-package "ACL2")` lines.
2021-09-09T13:53:19Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-09T13:53:04Z
urn:sha1:5163a157c4f9b552db220efaa753f210518817fe
flist: Add `flist.lisp` file.
2021-09-09T06:49:44Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-09T06:49:44Z
urn:sha1:a51be68a1b9c1c2c4e720b49190fdd89a86885bb
len-combinations: Add len-combinations-factorial theorem.
2021-09-04T16:36:57Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-04T16:36:57Z
urn:sha1:e7c237de367db261b80b60588ac89926345751aa
binary-tree: Change from member to assoc.
2021-09-04T09:30:36Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-04T09:30:36Z
urn:sha1:a66e8352af2ee48d59047a79a158ffda392556b4
fast-expt: Add fast-expt.lisp file.
2021-09-04T01:48:48Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-03T16:16:29Z
urn:sha1:f292ea0c9594e4c2bd3581cef8b7989a8391d9b3
Add combinations.lisp file.
2021-09-01T14:12:41Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-01T14:12:41Z
urn:sha1:975418f4c2e1520649196458d3211e6ef9ec531a
Add binary-tree.lisp.
2021-09-01T13:19:15Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-01T13:19:02Z
urn:sha1:279063668f17a09d5f272af1d1614f63cc323cd9
units: Add units.lisp
2021-08-26T16:04:05Z
Masaya Tojo
masaya@tojo.tokyo
2021-08-26T16:04:05Z
urn:sha1:afbbb947921dd93024a616086d5f75b581d70437
pigeonhole: Fix a name of theorem.
2021-08-15T10:52:03Z
Masaya Tojo
masaya@tojo.tokyo
2021-08-15T10:52:03Z
urn:sha1:dd309809e2c4f88c53002b42eddb93837ae05cda
consecutive-fibonacci-numbers-are-coprime: Remove nfix.
2021-08-14T16:50:52Z
Masaya Tojo
masaya@tojo.tokyo
2021-08-14T16:50:52Z
urn:sha1:14775ccc8daf54118a8d613bfb5053a1323a41d5