search

mit-plv / cross-crypto

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

Update FCF for compatibility with https://github.com/coq/coq/pull/10476 #13

Closed maximedenes closed 5 years ago

maximedenes commented 5 years ago

@andres-erbsen could you merge this? Thanks!

maximedenes commented 5 years ago

Can anybody merge this?

maximedenes commented 5 years ago

@andres-erbsen can you please merge this?