diff options
| -rw-r--r-- | pigeonhole.lisp (renamed from pigenhole.lisp) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pigenhole.lisp b/pigeonhole.lisp index c2fb779..c2fb779 100644 --- a/pigenhole.lisp +++ b/pigeonhole.lisp |
 |
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |