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
Datasets:
anon-mlib-d3a4
/
MathlibGraph
Like
0
Follow
anon-mlib-d3a4
1
Tasks:
Graph Machine Learning
Languages:
English
Size:
100K<n<1M
Tags:
mathematics
lean4
mathlib
dependency-graph
formal-verification
network-analysis
License:
apache-2.0
Dataset card
Data Studio
Files
Files and versions
xet
Community
main
MathlibGraph
Commit History
May 6
01:33
Upload croissant.json
anon-d3a4
Verified signature
892a0e9
May 3
21:49
Initial dataset upload (anonymized for review)
anon-d3a4
Verified signature
a571e06
21:44
initial commit
anon-d3a4
Verified signature
5c028a5
