summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Progress (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Improve the handling of arithmetic boundsSon Ho2023-07-121-2/+3
|
* Finish a first version of the progress tacticSon Ho2023-07-122-31/+29
|
* Work on the progress tacticSon Ho2023-07-112-0/+287