@online{keles2025formal,
  author = {Alperen Keles},
  title = {Formal Metotlar ve Kanıtlı Programlama Hakkında},
  year = {2025},
  url = {https://alperenkeles.com/posts/kanitli-programlama/},
  note = {Archived at \url{https://web.archive.org/web/https://alperenkeles.com/posts/kanitli-programlama/}}
}