summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Base.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move an arithmetic lemmaSon Ho2023-07-181-0/+6
* Add IList.leanSon Ho2023-07-131-0/+40
* Start working on the progress tacticSon Ho2023-07-101-0/+10