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
13 days ago
Digesting Lean Data
Upvote
-
phanerozoic/Lean4-Changelog
Viewer
•
Updated
17 days ago
•
2k
•
41
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
14 days ago
•
2k
•
33
Upvote
-
Share collection
View history
Collection guide
Browse collections
