@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/}}
}