summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Improve the handling of arithmetic boundsSon Ho2023-07-121-111/+117
|
* Finish a first version of the progress tacticSon Ho2023-07-121-24/+65
|
* Improve the generated commentsSon Ho2023-07-061-1/+1
|
* Simplify the names used in Primitives.leanSon Ho2023-07-051-16/+21
|
* Make Diverge use PrimitivesSon Ho2023-07-041-21/+4
|
* Cleanup Diverge.leanSon Ho2023-06-191-0/+13
|
* Make minor modificationsSon Ho2023-06-181-3/+2
|
* Make minor modificationsSon Ho2023-06-141-0/+1
|
* Start working on extrinsic proofs of terminationSon Ho2023-06-091-7/+22
|
* Reorganize a bit the Lean librarySon Ho2023-06-091-0/+650