logo
Hacker News
Lf-lean: The frontier of verified software engineering (theorem.dev)
15 points by alpaylan 4 hours ago | 5 comments
Loading...