August 1st, 2026 · 5 commits
Lean tightens kernel and lake update checks
Selective `lake update` now rejects unknown packages, while kernel invariants were hardened and projection equality made stricter.
Read the issue →