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