Formal Verification of Deed Contract #5

Open

Assignees

Milestone

opened

on Apr 13, 2018

https://github.com/pirapira/eth-isabelle/blob/23683c049048f43b64765c02203a9463546f285e/document/root.tex

Metadata

Assignees

zchn

Labels

No labels

No labels

Projects

No projects

Milestone

1.0No due date

Relationships

None yet

Development

No branches or pull requests