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
19 days ago
Digesting Lean Data
Upvote
-
phanerozoic/Lean4-Changelog
Viewer
•
Updated
22 days ago
•
2k
•
51
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
19 days ago
•
2k
•
44
Upvote
-
Share collection
View history
Collection guide
Browse collections
