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
/
xrex-invariants-formal
Like
0
Follow
Snapkitty Collective LLC
9
snapkitty
formal-verification
agda
scala
haskell
License:
snapkitty-proprietary
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
xrex-invariants-formal
36.4 kB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
SNAPKITTYWEST
Metadata: discovery tags (collection, languages)
17e8f2d
verified
20 days ago
dreamcycles
push from SNAPKITTYWEST/xrex-invariants-formal
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 2 months ago
Core.agda
Safe
8.26 kB
push from SNAPKITTYWEST/xrex-invariants-formal
about 2 months ago
LICENSE
Safe
1.34 kB
push from SNAPKITTYWEST/xrex-invariants-formal
about 2 months ago
PhoenixInvariants.scala
Safe
6.23 kB
push from SNAPKITTYWEST/xrex-invariants-formal
about 2 months ago
README.md
Safe
5.91 kB
Metadata: discovery tags (collection, languages)
20 days ago
phoenix_invariants.star
Safe
5.5 kB
push from SNAPKITTYWEST/xrex-invariants-formal
about 2 months ago
