summaryrefslogtreecommitdiff
path: root/backends/lean/Base (follow)
Commit message (Expand)AuthorAgeFilesLines
* Further simplify the proofs in Diverge.leanSon Ho2023-06-191-122/+151
* Make progress on making the proofs in Diverge more systematicSon Ho2023-06-191-8/+252
* Make minor modificationsSon Ho2023-06-181-3/+2
* Make minor modificationsSon Ho2023-06-142-6/+26
* Find sufficient validity criteria for Diverge.leanSon Ho2023-06-131-41/+309
* Start working on extrinsic proofs of terminationSon Ho2023-06-092-7/+230
* Reorganize a bit the Lean librarySon Ho2023-06-091-0/+650