Library for keyed-hash functions#809

fdupress merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

stdlib-hashfunctionsEasyCrypt/easycrypt:stdlib-hashfunctionsCopy head branch name to clipboard