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

Documentation GitHub

1294

Total Functions

282

Functions with Specs 21.8%

282

Fully Verified 21.8%

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 lean-zip upload submission - 06/08/2026, 05:47:09 PM. 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: 1294 Extracted: 1294 Verified: 282 Spec only: 0