Formally verifying verified-ironkv (ironsht) upload submission - 07/13/2026, 08:22:38 AM

Documentation GitHub

136

Total Functions

136

Functions with Specs 100%

136

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 verified-ironkv (ironsht) upload submission - 07/13/2026, 08:22:38 AM. 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: 137 Extracted: 137 Verified: 136 Spec only: 0