files / problems / simon-ionization-excess / lean / lean-toolchain

25 B · on GitHub

leanprover/lean4:v4.32.0