summaryrefslogtreecommitdiff
path: root/backends/lean/Base (follow)
Commit message (Collapse)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