Formally Verifying
Dalek Verus Latest — certified snapshot

560
Specified Functions

280

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: -