summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Base.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-18Move an arithmetic lemmaSon Ho1-0/+6
2023-07-13Add IList.leanSon Ho1-0/+40
2023-07-10Start working on the progress tacticSon Ho1-0/+0
2023-07-09Make progress on the int tacticSon Ho1-0/+10