@online{keles2025breaking,
author = {Alperen Keles},
title = {Breaking Verifiable Abstractions},
year = {2025},
url = {https://alperenkeles.com/posts/verifiable-abstractions/},
note = {Archived at \url{http://web.archive.org/web/20251231081655/https://alperenkeles.com/posts/verifiable-abstractions/}}
}
APA
Keles, A. (2025, August 31). Breaking Verifiable Abstractions. Alperen Keles. https://alperenkeles.com/posts/verifiable-abstractions/. Archived at http://web.archive.org/web/20251231081655/https://alperenkeles.com/posts/verifiable-abstractions/
