summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain
blob: 42e7d78677a47763295ec99cb6758d3c8c991264 (plain)
1
leanprover/lean4:nightly-2023-06-20