Super HN
New
Show
50 Years of Proof Assistants
(lawrencecpaulson.github.io)
5 points by baruchel 15 hours ago