Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Snapkitty
/
sov-kernel-monster
Like
0
Follow
Snapkitty Collective LLC
9
English
custom
sovereign-compute
formal-verification
lean4
multi-agent
worm-chain
qataaum
cuda
License:
fsl-1.1-apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sov-kernel-monster
/
jacobian-formal
350 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
SNAPKITTYWEST
chore: push full sov-kernel-monster content from local build
9425aed
verified
about 1 month ago
.lake
chore: push full sov-kernel-monster content from local build
about 1 month ago
agda
chore: push full sov-kernel-monster content from local build
about 1 month ago
src
chore: push full sov-kernel-monster content from local build
about 1 month ago
BIFROST_OBSERVER_FINAL_REPORT.md
Safe
24.9 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
COMPLETION_REPORT.md
Safe
16.9 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
COMPLETION_STATUS_2026_07_26.md
Safe
9.68 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
ENTROPY_INVARIANT_DISCOVERY.md
Safe
17.5 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
INDEX.md
Safe
12.5 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
JACOBIAN_BRIDGES_COMPLETE.lean
Safe
9.67 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
PEER_REVIEW_GAPS_CLOSURE.md
Safe
6.58 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
PHASE_2_AGDA_SPEC.md
Safe
12.6 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
PHASE_3_DISCHARGE_SUMMARY.txt
Safe
5.35 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
PHASE_3_ORCHESTRATION_LOG.md
Safe
6.04 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
PHASE_3_RESULTS_INDEX.md
Safe
6.45 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
README.md
Safe
10.7 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
README_PHASE_3.md
Safe
5.28 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
REVISION_MEMO_PEER_REVIEW.md
Safe
15.9 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
VERIFICATION_CHECKLIST.txt
Safe
8.32 kB
chore: push full sov-kernel-monster content from local build
about 1 month ago
lakefile.lean
Safe
540 Bytes
chore: push full sov-kernel-monster content from local build
about 1 month ago
test-discharge.agda
Safe
303 Bytes
chore: push full sov-kernel-monster content from local build
about 1 month ago
validate_holes.sh
Safe
835 Bytes
chore: push full sov-kernel-monster content from local build
about 1 month ago
