https://archive.softwareheritage.org/browse/origin/directory/?branch=refs/heads/doc-language&origin_url=https://github.com/EasyCrypt/easycrypt&path=theories/query_counting
Directory - bb360a6/theories/query_counting/ - refs/heads/doc-language - origin:...
directorytheoriesquerycountingrefs