summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Arith.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize the Lean backendSon Ho2023-07-171-329/+0
|
* Move a definitionSon Ho2023-07-171-3/+0
|
* Update a commentSon Ho2023-07-131-2/+1
|
* Add IList.leanSon Ho2023-07-131-64/+72
|
* 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-101-0/+409