summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Utils.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Improve progressSon Ho2023-07-181-0/+4
|
* Finish implementing the syntax for `progress`Son Ho2023-07-131-10/+37
|
* Improve progress to use assumptions and start working on a nice syntaxSon Ho2023-07-121-0/+62
|
* Finish a first version of the progress tacticSon Ho2023-07-121-22/+225
|
* Work on the progress tacticSon Ho2023-07-111-0/+28
|
* Start working on the progress tacticSon Ho2023-07-101-0/+95
|
* Reorganize a bit the lean backend filesSon Ho2023-07-061-0/+119