Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-08-27 | units: Add units.lisp | Masaya Tojo | |
index : acl2-theorems.git | ||
Proofs with acl2 | Masaya Tojo |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-08-27 | units: Add units.lisp | Masaya Tojo | |