Upload Code

Formally verifying Dalek Verus upload submission - 07/10/2026, 04:26:15 PM

Documentation GitHub

280
Total Functions
280
Functions with Specs 100%
280
Fully Verified 100%
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 Dalek Verus upload submission - 07/10/2026, 04:26:15 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: 339 Extracted: 339 Verified: 280 Spec only: 0