Upload Code

Formally Verifying
Dalek Verus upload submission - 06/08/2026, 05:48:14 PM

560
Specified Functions
280
Fully Verified
50%
59
External Functions
50
Axioms

Verification Progress

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

Total Functions: -

Functions with Specs: -

Fully Verified: -

Not Started: -