summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Progress/Progress.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-17Reorganize the Lean backendSon Ho1-0/+2
2023-07-17Update the lean dependencies and update IListSon Ho1-3/+0
2023-07-13Finish implementing the syntax for `progress`Son Ho1-28/+70
2023-07-12Improve progress to use assumptions and start working on a nice syntaxSon Ho1-31/+76
2023-07-12Improve the handling of arithmetic boundsSon Ho1-2/+3
2023-07-12Finish a first version of the progress tacticSon Ho1-8/+28
2023-07-11Work on the progress tacticSon Ho1-0/+112