#proof_automation

Lean Programming Language Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.

The Lean FRO ‘Year 3’ (August 2025 - July 2026) Roadmap - released today:

lean-lang.org/fro/roadmap/...

#LeanLang #roadmap #high_performance_verification #proof_automation