50 years of proof assistants

[baruchel]

Article URL: https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html

Comments URL: https://news.ycombinator.com/item?id=46250309

Points: 56

# Comments: 6