Integrity docs#189

Open

andrewlawhh wants to merge 6 commits intomc2-project:masterfrom

andrewlawhh:integrity-docs

Commits on Oct 2, 2020

Support for multiple branched CaseWhen
Andrew Law
committed

Commits on Dec 10, 2020

merge
Andrew Law
committed

Commits on Mar 29, 2021

Merge branch 'master' of https://github.com/mc2-project/opaque
Andrew Law
committed
First draft integrity docs
Andrew Law
committed

Commits on Mar 30, 2021

Resolve Chester comments
Andrew Law
committed

Commits on Apr 1, 2021

Add more detail
Andrew Law
committed