50 years of proof assistants
via lawrencecpaulson.github.io
Short excerpt below. Read at the original source.
Article URL: https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html Comments URL: https://news.ycombinator.com/item?id=46250309 Points: 5 # Comments: 0