Hacker Neus
50 years of proof assistants
(lawrencecpaulson.github.io)
139 points
by baruchel
3 days ago |
30 comments
