Lean 4.31.0 is live! 305 changes: verifiable do-block loops with no source changes required, mvcgen' (100x+ faster than mvcgen on some benchmarks), and lake lint with Batteries/Mathlib linters built in. lean-lang.org/doc/referenc... #LeanLang #LeanProver #OpenSource

6 likes 0 replies