Home | Notifications | New Note | Local | Federated | Search | Logout

Lean@leanprover@functional.cafe

Official account of the Lean theorem prover and programming language
Joined: 2026-10-14 00:55:57
1 notes, 0 following, 0 followers

Lean@leanprover@functional.cafe (2026-10-14 00:50:46)
Lean 4.35.0 has been released (214 changes).

vcgen replaces mvcgen as a mostly drop-in successor. It is still marked experimental.

lake check and lake comparator check a project with Lean's kernel and, with --paranoid, the external checkers now included in the toolchain.

Release notes: https://lean-lang.org/doc/reference/latest/releases/v4.35.0/
---Attachments---
image: https://files.functional.cafe/media_attachments/files/117/434/388/763/142/357/original/220ac764fafbb062.png