| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| develop | L-99: Solve P21. | Masaya Tojo | 3 years | |
| master | Add `(in-package "ACL2")` lines. | Masaya Tojo | 3 years | |
 |
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |
|
index : acl2-theorems.git | |
| Proofs with acl2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| develop | L-99: Solve P21. | Masaya Tojo | 3 years | |
| master | Add `(in-package "ACL2")` lines. | Masaya Tojo | 3 years | |