Hugging Face's logo

Snapkitty
/
hcalc

snapkitty
october-2026-drop
lean4
alloy
j
dynamical-systems
contraction
formal-verification
research
Model card Files
xet
 Community
hcalc / lean /build.log
SNAPKITTYWEST's picture
SNAPKITTYWEST
October 2026 main drop: mirror from GitHub
d7b24f0 verified
Raw History Blame Contribute Delete
84 Bytes
✔ [1962/1968] Built Hcalc.Axioms (2.0s)
Build completed successfully (1968 jobs).