search

EasyCrypt / easycrypt

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

[theories] define `FSet` product using allpairs #411

Closed chdoc closed 1 year ago

chdoc commented 1 year ago

Defining set product using list product make things easier to prove.