The Lean FRO ‘Year 3’ (August 2025 - July 2026) Roadmap - released today:
lean-lang.org/fro/roadmap/...
#LeanLang #roadmap #high_performance_verification #proof_automation
0
0
0
0
The Lean FRO ‘Year 3’ (August 2025 - July 2026) Roadmap - released today:
lean-lang.org/fro/roadmap/...
#LeanLang #roadmap #high_performance_verification #proof_automation