Hugging Face's logo

Snapkitty
/
sov-kernel-monster

English
custom
sovereign-compute
formal-verification
lean4
multi-agent
worm-chain
qataaum
cuda
snapkitty
fortran
agda
Model card Files
xet
 Community
sov-kernel-monster / jacobian-formal /agda /src /Invariants /GateApplicationLoop.agda

Commit History

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

SNAPKITTYWEST commited on