Lf-lean: The frontier of verified software engineeringtheorem.dev
16 points by alpaylan 4 hours ago | 5 comments