Post

Lean 4.35.0 is now available, with 214 changes. It adds vcgen, the successor of mvcgen, and lake check, which checks a project with Lean's kernel and, with --paranoid, several external checkers. lean-lang.org/doc/referenc...