Formally Verifying
Protocols for secure messaging in Lean / VCVio

126
Specified Functions

Fully Verified

50%

External Functions

Axioms

Verification Progress

Not Started Specs (no proofs) Verified (proofs) Total Functions

Total Functions: -

Functions with Specs: -

Fully Verified: -

Not Started: -