https://archive.softwareheritage.org/browse/revision/3b8503419ed493ba7b23a0e348c573cf4b13ebed/?branch=refs/heads/release&origin_url=https://github.com/EasyCrypt/easycrypt
Revision - 3b85034 - [documentation]: tactic `swap` - origin:...
revisiondocumentationtacticswaporigin