@online{keles2023learners,
author = {Alperen Keles},
title = {Learner’s Guide to Coq Theorem Prover#1},
year = {2023},
url = {https://alperenkeles.com/posts/learners-guide-to-coq-theorem-prover1/},
note = {Archived at \url{http://web.archive.org/web/20250918062224/https://alperenkeles.com/posts/learners-guide-to-coq-theorem-prover1/}}
}
APA
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/
