📚 Stale docs available: The documentation from 2026-04-03T03:17:18-07:00 is still accessible.
Toolchain incompatibility: ✗ Toolchain too new: project uses leanprover/lean4:v4.30.0-rc1 but maximum supported is v4.29.0 Project uses leanprover/lean4:v4.30.0-rc1. Supported range: v4.24.0 to v4.29.0. To analyze this project, it must be updated to use a Lean version in the supported range.