summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Base.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement tactics for termination proofs which involve arithmeticSon Ho2023-10-171-0/+12
|
* Make progress on the hashmap propertiesSon Ho2023-07-251-0/+4
|
* 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