v4.35.0-rc3

Automated release for Lean version v4.35.0-rc3

Prebuilt MIPRE modules (rolling)

Compiled .lake/build for the modules of this repository, republished on every push to main. Consumed by .claude/cloud-setup.sh and .claude/hooks/lean-warm.sh; see docs/lean-cloud.md. The tag is a fixed anchor, not a version: only the attached asset moves.

v4.33.0

Automated release for Lean version v4.33.0