summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make some proofs in Hashmap/Properties.lean and improve progressSon Ho2023-07-201-1/+1
* Improve progressSon Ho2023-07-191-8/+0
* Move an arithmetic lemmaSon Ho2023-07-181-0/+6
* 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