| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| develop | L-99: Solve P21. | Masaya Tojo | 2 years | |
| master | Add `(in-package "ACL2")` lines. | Masaya Tojo | 3 years | |
| Age | Commit message | Author | ||
| 2021-09-09 | Add `(in-package "ACL2")` lines.HEADmaster | Masaya Tojo | ||
| 2021-09-09 | flist: Add `flist.lisp` file. | Masaya Tojo | ||
| 2021-09-05 | len-combinations: Add len-combinations-factorial theorem. | Masaya Tojo | ||
| 2021-09-04 | binary-tree: Change from member to assoc. | Masaya Tojo | ||
| 2021-09-04 | fast-expt: Add fast-expt.lisp file. | Masaya Tojo | ||
| 2021-09-01 | Add combinations.lisp file. | Masaya Tojo | ||
| 2021-09-01 | Add binary-tree.lisp. | Masaya Tojo | ||
| 2021-08-27 | units: Add units.lisp | Masaya Tojo | ||
| 2021-08-15 | pigeonhole: Fix a name of theorem. | Masaya Tojo | ||
| 2021-08-15 | consecutive-fibonacci-numbers-are-coprime: Remove nfix. | Masaya Tojo | ||
| [...] | ||||
 |
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |