Compatibility with coq/coq#14736

mit-plv / cross-crypto

Connecting computational and symbolic crypto models

MIT License

8 stars 19 forks source link

Closed olaure01 closed 2 years ago

olaure01 commented 2 years ago

Update fcf

olaure01 commented 2 years ago

If there is no particular trouble, merging this PR, would allow to go on with coq/coq#14736. Thanks.