Hacker Neus
Lf-lean: The frontier of verified software engineering
(theorem.dev)
14 points
by alpaylan
4 hours ago |
4 comments
