Charles Norton PRO

phanerozoic's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

updated a dataset 2 days ago

phanerozoic/Coq-Changelog

Viewer • Updated 2 days ago • 411 • 3

updated a collection 3 days ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 7 items • Updated 3 days ago

liked a model 3 days ago

answerdotai/ModernBERT-base

Fill-Mask • Updated about 2 hours ago • 27.6k • 450

updated a collection 10 days ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 7 items • Updated 3 days ago

updated 2 datasets 12 days ago

phanerozoic/Coq-MetaCoq-QA

Viewer • Updated 12 days ago • 10.5k • 20

phanerozoic/Coq-HoTT

Viewer • Updated 12 days ago • 7.85k • 63 • 2

updated 3 datasets 13 days ago

phanerozoic/Coq-MetaCoq

Viewer • Updated 13 days ago • 10.5k • 33

phanerozoic/Coq-MetaCoq

Viewer • Updated 13 days ago • 10.5k • 33

phanerozoic/Coq-MetaCoq

Viewer • Updated 13 days ago • 10.5k • 33