{"version":"1.0","type":"link","title":"What it takes to prove binary search works","author_name":"Kevin Aleman","author_url":"https://kevinaleman.com","provider_name":"Kev's logbook","provider_url":"https://kevinaleman.com","cache_age":86400,"thumbnail_url":"https://kevinaleman.com/images/dafny-binary-search-header.webp"}