search

REPROSEC / dolev-yao-star-extrinsic

DY* with extrinsic proofs
https://reprosec.org/
Mozilla Public License 2.0
8 stars 0 forks source link

docs: add section about arguments ordering #13

Closed TWal closed 1 month ago

TWal commented 1 month ago

As discussed in https://github.com/REPROSEC/dolev-yao-star-extrinsic/pull/4#pullrequestreview-2035222769