issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
[build]: configure the provers via easycrypt.project
#585
Closed
strub
closed
1 month ago
alleystoughton
commented
1 month ago
Could the quorum also be set in the project file?
Could the quorum also be set in the project file?