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