Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
's Collections
Lean Projects
Coq Projects
TinyLlama Character Series
Science Fine-tunes
BERT Projects
BART Projects
Lean Projects
updated
Jan 12
Digesting Lean Data
Upvote
-
phanerozoic/Lean4-Changelog
Viewer
•
Updated
Jan 8
•
2k
•
60
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
Jan 12
•
2k
•
56
Upvote
-
Share collection
View history
Collection guide
Browse collections
