Snapkitty
/

hcalc

october-2026-drop

dynamical-systems

formal-verification

Model card Files Files and versions

hcalc / README.md

Commit History

Oct 11 4 days ago

01:31
Note: Alloy logs critiqued by PIRTM counter-paper

SNAPKITTYWEST

Verified signature
cbfc3e2

Oct 10 5 days ago

19:43
Model card: restore full README from GitHub, add commercial license option

SNAPKITTYWEST

Verified signature
8ffbee6
19:33
October 2026 main drop: mirror from GitHub

SNAPKITTYWEST

Verified signature
d7b24f0