Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
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 |