summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain
blob: e5ea66000f8e201e78f62543404a9000d2c34e63 (plain)
1
leanprover/lean4:v4.9.0-rc3