| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2024-06-13 | Update Lean to v4.9.0-rc1 | Son Ho | 1 | -6/+5 |
| 2023-10-17 | Implement tactics for termination proofs which involve arithmetic | Son Ho | 1 | -0/+12 |
| 2023-07-25 | Make progress on the hashmap properties | Son Ho | 1 | -0/+4 |
| 2023-07-18 | Move an arithmetic lemma | Son Ho | 1 | -0/+6 |
| 2023-07-13 | Add IList.lean | Son Ho | 1 | -0/+40 |
| 2023-07-10 | Start working on the progress tactic | Son Ho | 1 | -0/+0 |
| 2023-07-09 | Make progress on the int tactic | Son Ho | 1 | -0/+10 |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |