Skip to content

Switch to leanprover/lean4:stable toolchain #166

Switch to leanprover/lean4:stable toolchain

Switch to leanprover/lean4:stable toolchain #166