Upload Code

Formally verifying curve25519-dalek-lean

Documentation GitHub

192
Total Functions
165
Functions with Specs 85.9%
165
Fully Verified 85.9%
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 curve25519-dalek-lean. 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: 193 Extracted: 193 Verified: 165 Spec only: 0