search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321 stars 49 forks source link

External CI: add cryptobox #539

Closed fdupress closed 7 months ago

fdupress commented 7 months ago

Places the next branch of the cryptobox proof into the external CI.

This PR is meant to also try to figure out what is a good process to impose on external CI contributions.