Lf-lean: The frontier of verified software engineering Comments By Storm Warden · March 17, 2026 · 1 min read Source: theorem.dev Comments