Hugging Face's logo

Snapkitty
/
tlm-jxcl-forge

Rust
snapkitty
october-2026-drop
lean4
alloy
formal-verification
jxcl
tlm
quantum-computing
Model card Files
xet
 Community
tlm-jxcl-forge
3.44 MB
  • 1 contributor
 History: 6 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Metadata: discovery tags (collection, languages)
e13c1a0 verified