summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Progress/Base.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start proving theorems for primitive definitionsSon Ho2023-07-171-1/+2
* Improve progress to use assumptions and start working on a nice syntaxSon Ho2023-07-121-1/+1
* Finish a first version of the progress tacticSon Ho2023-07-121-23/+1
* Work on the progress tacticSon Ho2023-07-111-0/+175