50 Years of Proof Assistants

 (lawrencecpaulson.github.io)

5 points | by baruchel  a day ago

No comments yet.