Hugging Face
Models
Datasets
Spaces
Buckets
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
/
assertica
Like
0
Follow
Snapkitty Collective LLC
9
snapkitty
october-2026-drop
haskell
compiler
proof-language
formal-verification
License:
bsl-1.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
assertica
724 kB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
SNAPKITTYWEST
Sync with GitHub, license metadata from LICENSE files, commercial license notice
b27b464
verified
22 days ago
src
October 2026 main drop: mirror from GitHub
22 days ago
test
October 2026 main drop: mirror from GitHub
22 days ago
.gitattributes
Safe
1.52 kB
initial commit
22 days ago
CONTRIBUTING.md
Safe
17.4 kB
October 2026 main drop: mirror from GitHub
22 days ago
LICENSE
Safe
1.34 kB
October 2026 main drop: mirror from GitHub
22 days ago
README.md
Safe
17.7 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
22 days ago
SECURITY.md
Safe
18.2 kB
October 2026 main drop: mirror from GitHub
22 days ago
assertica.cabal
Safe
2.84 kB
October 2026 main drop: mirror from GitHub
22 days ago
