Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make intro_has_prop_instances work | Son Ho | 2023-06-22 | 1 | -26/+145 |
* | Finish the custom_let tactic | Son Ho | 2023-06-22 | 1 | -23/+21 |
* | Start working on Arith.lean | Son Ho | 2023-06-21 | 1 | -0/+221 |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make intro_has_prop_instances work | Son Ho | 2023-06-22 | 1 | -26/+145 |
* | Finish the custom_let tactic | Son Ho | 2023-06-22 | 1 | -23/+21 |
* | Start working on Arith.lean | Son Ho | 2023-06-21 | 1 | -0/+221 |