issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
[stdlib]: extra lemmas on dprod.
#583
Closed
strub
closed
1 month ago
strub
commented
1 month ago
dprod_dunit, dprod_marginal{L,R}, dprod_dmap_cross, dprod_dmap
dprod_dunit, dprod_marginal{L,R}, dprod_dmap_cross, dprod_dmap