summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Base.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-17Implement tactics for termination proofs which involve arithmeticSon Ho1-0/+12
2023-07-25Make progress on the hashmap propertiesSon Ho1-0/+4
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