Commit 72bf613

committed

Add Russel's doc about policy entailment

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

1 parent 5ec50b5 commit 72bf613Copy full SHA for 72bf613

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)