Hugging Face's logo

Snapkitty
/
sov-kernel-monster

English
custom
sovereign-compute
formal-verification
lean4
multi-agent
worm-chain
qataaum
cuda
Model card Files
xet
 Community
sov-kernel-monster / haskell /PHASE_1_INTEGRATION_SUMMARY.md

Commit History

chore: push full sov-kernel-monster content from local build
9425aed
verified

SNAPKITTYWEST commited on