Post

Lean 4.30.0 is live! 306 changes: new 𝚜𝚢𝚖 => interactive tactic (𝚐𝚛𝚒𝚗𝚍-based, user-controlled), 𝚌𝚋𝚟 out of experimental, LCNF backend complete (~15% smaller binaries), and a full Lake cache overhaul. Release notes: lean-lang.org/doc/referenc...