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