summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make minor modifications to Arith.leanSon Ho2023-06-261-27/+37
* Make intro_has_prop_instances workSon Ho2023-06-221-26/+145
* Finish the custom_let tacticSon Ho2023-06-221-23/+21
* Start working on Arith.leanSon Ho2023-06-211-0/+221