T theorem.dev Lf-lean: The frontier of verified software engineering 47 points alpaylan 7 months ago 9 comments
