summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-09Start working on extrinsic proofs of terminationSon Ho1-0/+1