Hugging Face's logo

Snapkitty
/
goldilocks-controlled-reduce

snapkitty
october-2026-drop
openqasm
lean4
python
quantum-computing
goldilocks-field
cryptography
formal-verification
Model card Files
xet
 Community
goldilocks-controlled-reduce
83.5 kB
  • 1 contributor
 History: 3 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Model card: restore full README from GitHub, add commercial license option
bb148e4 verified