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 /TENSOR_CONTRACT.md

Commit History

25 days ago

  1. October 2026 main drop: mirror from GitHub

    SNAPKITTYWEST
    Verified signature
    32b4893