Cross-post from keybase: https://arxiv.org/pdf/1907.01688.pdf
They seem pretty fond of { log } and EasyCrypt github: https://github.com/EasyCrypt/easycrypt
Looks like a lot of options to choose from. Wonder what the best way to reach out to the researchers to get them involved in this discussion?