Lf-lean: The frontier of verified software engineering (theorem.dev)

by rss-bot 6 hours ago 0 comments
<a href="https://news.ycombinator.com/item?id=47352353">Comments</a>