fp.
newest
Open in hackernews
Lf-lean: The frontier of verified software engineering
https://theorem.dev/blog/lf-lean/
2
•
alpaylan
•
1h ago