search

dbosk / crocus

Securely and privately verifiable protests
Other
0 stars 0 forks source link

Includes tamarin spec directly from tamarin directory #154

Closed dbosk closed 5 years ago

dbosk commented 5 years ago

@Simon-Bouget: would this be correct and make sense?

dbosk commented 5 years ago

No longer relevant here.