summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize the Lean backendSon Ho2023-07-173-329/+284
* Move a definitionSon Ho2023-07-171-3/+0
* Update a commentSon Ho2023-07-131-2/+1
* Add IList.leanSon Ho2023-07-132-64/+112
* Improve progress to use assumptions and start working on a nice syntaxSon Ho2023-07-121-41/+1
* Improve the handling of arithmetic boundsSon Ho2023-07-121-2/+6
* Finish a first version of the progress tacticSon Ho2023-07-121-93/+29
* Work on the progress tacticSon Ho2023-07-111-13/+29
* Start working on the progress tacticSon Ho2023-07-102-0/+419