Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
's Collections
Lean Projects
Coq Projects
TinyLlama Character Series
Science Fine-tunes
BERT Projects
BART Projects
Coq Projects
updated
Dec 26, 2024
Digesting Coq libraries for AI ingestion.
Upvote
1
phanerozoic/Coq-HoTT
Viewer
•
Updated
Dec 13, 2024
•
7.85k
•
24
•
2
phanerozoic/Coq-HoTT-QA
Viewer
•
Updated
Dec 10, 2024
•
7.83k
•
32
phanerozoic/Coq-UniMath
Viewer
•
Updated
Dec 10, 2024
•
38.7k
•
38
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
Dec 10, 2024
•
38.6k
•
30
•
1
phanerozoic/Coq-MetaCoq
Viewer
•
Updated
Dec 13, 2024
•
10.5k
•
15
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
Dec 13, 2024
•
10.5k
•
17
phanerozoic/Coq-Changelog
Viewer
•
Updated
Dec 23, 2024
•
411
•
8
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
Dec 26, 2024
•
822
•
21
Upvote
1
Share collection
View history
Collection guide
Browse collections