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
/
sovereign-forge
Like
0
Follow
Snapkitty Collective LLC
9
snapkitty
formal-verification
c
lean4
License:
busl-1.1
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sovereign-forge
/
src
/
receipts
36.2 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
SNAPKITTYWEST
Sync with GitHub, license metadata from LICENSE files, commercial license notice
4cba1a6
verified
about 10 hours ago
persist.c
8.6 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
replay.c
8.19 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
sign.c
7.42 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
worm.c
8.49 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
worm_integration.c
1.54 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
worm_integration.h
2.01 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 10 hours ago
