Hugging Face's logo

Snapkitty
/
riemann-gas

snapkitty
october-2026-drop
lean4
python
ocaml
riemann-zeta
primon-gas
number-theory
formal-verification
research
Model card Files
xet
 Community
riemann-gas
36 kB
  • 1 contributor
 History: 3 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Model card: restore full README from GitHub, add commercial license option
31c0c9d verified