# Validated Lean toolchains that beam is willing to serve.
leanprover/lean4:v4.32.0-rc1
leanprover/lean4:v4.31.0
leanprover/lean4:v4.30.0
leanprover/lean4:v4.29.0
leanprover/lean4:v4.28.0