summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain
blob: 1211e3724e453fc0421d1a3818b1fa8681080df0 (plain)
1
leanprover/lean4:nightly-2023-05-31