RunesAuth
/
FormalProof
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FormalProof/CHANGELOG

4 lines
52 B
Plaintext
Raw Permalink Blame History

* added proverif proofs, both test and final ones
Reference in New Issue View Git Blame Copy Permalink