@online{keles2025propertybased,
  author = {Alperen Keles},
  title = {Property-Based Tinkering},
  year = {2025},
  url = {https://alperenkeles.com/posts/there-are-properties-everywhere/},
  note = {Archived at \url{https://web.archive.org/web/https://alperenkeles.com/posts/there-are-properties-everywhere/}}
}