files / lean-toolchain

25 B · on GitHub

leanprover/lean4:v4.32.0