50 years of proof assistants

(lawrencecpaulson.github.io) by baruchel | Dec 12, 2025 | 30 comments on HN