50 Years of Proof Assistants

 (lawrencecpaulson.github.io)

2 points | by tosh 4 hours ago ago

No comments yet.