https://archive.softwareheritage.org/browse/origin/directory/?branch=refs/heads/hint-simplify-db&origin_url=https://github.com/EasyCrypt/easycrypt&path=theories/query_counting
Directory - edbff9f/theories/query_counting/ - refs/heads/hint-simplify-db - origin:...
directorytheoriesquerycounting