Commit bbd9773

committed

Add Russel's doc about policy entailment

Add Russel's doc about multiparty policy entailment to the repository.

1 parent 60edd01 commit bbd9773Copy full SHA for bbd9773

1 file changed

+0

-0

lines changed

doc
- ReasoningAboutMultipartyMiniscript.pdf

1 file changed

+0

-0

lines changed

`‎doc/ReasoningAboutMultipartyMiniscript.pdf`

64 KB

Binary file not shown.

Comments

(0)