EasyCrypt/easycrypt

Резюме EasyCrypt/easycrypt: EasyCrypt/easycrypt — открытый проект для автоматизации криптографических доказательств, который помогает прототипировать или провер