| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 22 | logplain |
| -rw-r--r-- | L-99.lisp | 15119 | logplain |
| -rw-r--r-- | LICENSE | 1479 | logplain |
| -rw-r--r-- | README.md | 61 | logplain |
| -rw-r--r-- | consecutive-fibonacci-numbers-are-coprime.lisp | 1300 | logplain |
| -rw-r--r-- | divisor-list.lisp | 3589 | logplain |
| -rw-r--r-- | list-monad.lisp | 3405 | logplain |
| -rw-r--r-- | palindrome-sandwich.lisp | 3186 | logplain |
 |
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |