50 Years of Proof Assistants

(lawrencecpaulson.github.io)

5 points | by baruchel a day ago ago

No comments yet.