50 Years of Proof Assistants

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

Comments