Upload Code

Formally verifying Dalek Verus upload submission - 07/13/2026, 08:22:39 AM — certified snapshot

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/13/2026, 08:22:39 AM — certified snapshot. 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