Super HN
New
Show
50 years of proof assistants
(lawrencecpaulson.github.io)
6 points by baruchel 33 minutes ago