| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 22 | logplainabout |
| -rw-r--r-- | L-99.lisp | 14889 | logplainabout |
| -rw-r--r-- | LICENSE | 1479 | logplainabout |
| -rw-r--r-- | README.md | 194 | logplainabout |
| -rw-r--r-- | binary-tree.lisp | 4919 | logplainabout |
| -rw-r--r-- | combinations.lisp | 1892 | logplainabout |
| -rw-r--r-- | consecutive-fibonacci-numbers-are-coprime.lisp | 2070 | logplainabout |
| -rw-r--r-- | divisor-list.lisp | 3609 | logplainabout |
| -rw-r--r-- | fast-expt.lisp | 1037 | logplainabout |
| -rw-r--r-- | flist.lisp | 1065 | logplainabout |
| -rw-r--r-- | list-monad.lisp | 3425 | logplainabout |
| -rw-r--r-- | palindrome-sandwich.lisp | 3206 | logplainabout |
| -rw-r--r-- | peano.lisp | 3000 | logplainabout |
| -rw-r--r-- | permutations.lisp | 5510 | logplainabout |
| -rw-r--r-- | pigeonhole.lisp | 4510 | logplainabout |
| -rw-r--r-- | units.lisp | 612 | logplainabout |
 |
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |