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
6
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
4 days ago
.lake
chore: push full sov-kernel-monster content from local build
4 days ago
agda
chore: push full sov-kernel-monster content from local build
4 days ago
src
chore: push full sov-kernel-monster content from local build
4 days ago
BIFROST_OBSERVER_FINAL_REPORT.md
24.9 kB
chore: push full sov-kernel-monster content from local build
4 days ago
COMPLETION_REPORT.md
16.9 kB
chore: push full sov-kernel-monster content from local build
4 days ago
COMPLETION_STATUS_2026_07_26.md
9.68 kB
chore: push full sov-kernel-monster content from local build
4 days ago
ENTROPY_INVARIANT_DISCOVERY.md
17.5 kB
chore: push full sov-kernel-monster content from local build
4 days ago
INDEX.md
12.5 kB
chore: push full sov-kernel-monster content from local build
4 days ago
JACOBIAN_BRIDGES_COMPLETE.lean
9.67 kB
chore: push full sov-kernel-monster content from local build
4 days ago
PEER_REVIEW_GAPS_CLOSURE.md
6.58 kB
chore: push full sov-kernel-monster content from local build
4 days ago
PHASE_2_AGDA_SPEC.md
12.6 kB
chore: push full sov-kernel-monster content from local build
4 days ago
PHASE_3_DISCHARGE_SUMMARY.txt
5.35 kB
chore: push full sov-kernel-monster content from local build
4 days ago
PHASE_3_ORCHESTRATION_LOG.md
6.04 kB
chore: push full sov-kernel-monster content from local build
4 days ago
PHASE_3_RESULTS_INDEX.md
6.45 kB
chore: push full sov-kernel-monster content from local build
4 days ago
README.md
10.7 kB
chore: push full sov-kernel-monster content from local build
4 days ago
README_PHASE_3.md
5.28 kB
chore: push full sov-kernel-monster content from local build
4 days ago
REVISION_MEMO_PEER_REVIEW.md
15.9 kB
chore: push full sov-kernel-monster content from local build
4 days ago
VERIFICATION_CHECKLIST.txt
8.32 kB
chore: push full sov-kernel-monster content from local build
4 days ago
lakefile.lean
540 Bytes
chore: push full sov-kernel-monster content from local build
4 days ago
test-discharge.agda
303 Bytes
chore: push full sov-kernel-monster content from local build
4 days ago
validate_holes.sh
835 Bytes
chore: push full sov-kernel-monster content from local build
4 days ago
