summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-02Update lean to v4.6.0-rc1 and start fixing the proofsSon Ho1-1/+1
2023-09-14Update to Lean 4.0.0 and fix some broken proofsSon Ho1-1/+1
2023-07-17Update the lean dependencies and update IListSon Ho1-1/+1
2023-07-04Reorganize the Lean testsSon Ho1-1/+1
2023-06-09Start working on extrinsic proofs of terminationSon Ho1-0/+1