# CI-validated Lean toolchains: latest stable points, plus the pinned RC before its stable release.
leanprover/lean4:v4.36.0-rc1
leanprover/lean4:v4.35.0
leanprover/lean4:v4.34.1