L lawrencecpaulson.github.io 50 years of proof assistants 144 points baruchel 10 months ago 30 comments
