summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain
blob: 334c5053c25fdea2e6e3d13920846ce5d83b5a4f (plain)
1
leanprover/lean4:nightly-2023-07-12