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-array
Like
0
Follow
Snapkitty Collective LLC
9
custom
code
sovereign-compute
snapkitty
formal-verification
lean4
python
License:
agpl-3.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sovereign-array
/
ArrayLang
27 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
SNAPKITTYWEST
Sync with GitHub, license metadata from LICENSE files, commercial license notice
5affcce
verified
11 days ago
APLKernel.lean
Safe
5.95 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
11 days ago
Array.lean
Safe
2.39 kB
chore: convert from dataset to model repo
about 2 months ago
Broadcast.lean
Safe
1.5 kB
chore: convert from dataset to model repo
about 2 months ago
ConsistencyCheck.lean
Safe
4.52 kB
chore: convert from dataset to model repo
about 2 months ago
Main.lean
Safe
482 Bytes
Sync with GitHub, license metadata from LICENSE files, commercial license notice
11 days ago
NandAttention.lean
Safe
1.66 kB
chore: convert from dataset to model repo
about 2 months ago
SimplexNorm.lean
Safe
9.18 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
11 days ago
Softmax.lean
Safe
1.28 kB
chore: convert from dataset to model repo
about 2 months ago
