Hugging Face
Search models, datasets, users...
Ctrl K
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
PrimaCore-ai
PrimaCore
1
1
Follow
primacore-ai
AI & ML interests
formal verification, autoformalization, theorem proving
Recent Activity
new
activity
4 days ago
PAug/ProofNetSharp:
Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)
liked
a dataset
5 days ago
PAug/ProofNetSharp
new
activity
5 days ago
PAug/ProofNetSharp:
Two ProofNet(#) reference statements are false as formalized: Artin 13_4_10 (p = 2) and Ireland–Rosen 5_13 (p = −13)
View all activity
Organizations
None yet
PrimaCore
's models
None public yet
