Upload Code

Formally verifying Protocols for secure messaging in Lean / VCVio

Documentation GitHub

1048
Total Functions
295
Functions with Specs 28.1%
295
Fully Verified 28.1%
Verification Progress Contribute Function Status

Verification Progress

Not Started Specs (no proofs) Verified (proofs) Total tracked functions Transitively Verified

Contribute

Want to contribute? Help formally verify Protocols for secure messaging in Lean / VCVio. Click on the button to view remaining issues on GitHub.

View GitHub Issues

Function Status

This table shows the verification status of all functions in the project. Click on a function to see more details.

Total: 1048 Extracted: 1048 Verified: 295 Spec only: 0