search

mit-plv / cross-crypto

Connecting computational and symbolic crypto models
MIT License
8 stars 19 forks source link

Bump FCF submodule commit. #28

Closed ppedrot closed 2 years ago

ppedrot commented 2 years ago

This makes the submodule compatible with coq/coq#16004.