logicalhacking / Automated_Stateful_Protocol_Verification

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

Geek Repo

Github PK Tool