summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-17Reorganize the Lean backendSon Ho1-1/+2
2023-07-11Work on the progress tacticSon Ho1-0/+1
2023-07-10Start working on the progress tacticSon Ho1-464/+0
2023-07-09Improve int_tacSon Ho1-23/+18
2023-07-09Implement a first working version of int_tacSon Ho1-38/+58
2023-07-09Make progress on the int tacticSon Ho1-156/+257
2023-06-26Make minor modifications to Arith.leanSon Ho1-27/+37
2023-06-22Make intro_has_prop_instances workSon Ho1-26/+145
2023-06-22Finish the custom_let tacticSon Ho1-23/+21
2023-06-21Start working on Arith.leanSon Ho1-0/+221