Upload Code

Formally Verifying
lean-zip upload submission - 06/08/2026, 05:47:09 PM

404
Specified Functions
202
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: -