Lf-lean: The frontier of verified software engineering

📰 Hacker News · alpaylan

Lf-lean: The frontier of verified software engineering. 9 comments, 47 points on Hacker News.

Published 12 Mar 2026