renamed crypto monad to traceful - Githubissues

REPROSEC / dolev-yao-star-extrinsic

DY* with extrinsic proofs

https://reprosec.org/

Mozilla Public License 2.0

8 stars 0 forks source link

renamed crypto monad to traceful #31

Closed cwaldm closed 1 month ago

cwaldm commented 1 month ago

Fixing https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/2