summaryrefslogtreecommitdiff
path: root/backends/lean/Base (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-09Start working on extrinsic proofs of terminationSon Ho2-7/+230
2023-06-09Reorganize a bit the Lean librarySon Ho1-0/+650