Hugging Face's logo

Snapkitty
/
sparse-router-formal

Rust
snapkitty
october-2026-drop
pascal
lean4
c
kani
work-stealing
scheduler
formal-verification
Model card Files
xet
 Community
sparse-router-formal / spec
100 kB
  • 1 contributor
 History: 2 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
29f097e verified