Keles, A. (2023, April 21). Learner’s Guide to Coq Theorem Prover#1. Alperen Keles. https://alperenkeles.com/posts/learners-guide-to-coq-theorem-prover1/. Archived at http://web.archive.org/web/20250918062224/https://alperenkeles.com/posts/learners-guide-to-coq-theorem-prover1/