Lf-lean: The frontier of verified software engineering

(theorem.dev) by alpaylan | Mar 12, 2026 | 0 comments on HN