Charles Norton PRO

phanerozoic's activity

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

updated a dataset about 17 hours ago

phanerozoic/hi-21cm-survey

Updated 14 minutes ago • 43.5k • 3

updated a dataset about 18 hours ago

phanerozoic/qiskit-calibration-drift

Viewer • Updated about 1 hour ago • 7.04M • 2k • 3

updated 3 datasets 4 days ago

phanerozoic/HOL4

Viewer • Updated 4 days ago • 73.1k • 77

phanerozoic/Dafny

Viewer • Updated 4 days ago • 23.3k • 90

phanerozoic/Agda-Cubical

Viewer • Updated 4 days ago • 9.81k • 79

updated a dataset 9 days ago

phanerozoic/chauvet-exterior

Viewer • Updated 9 days ago • 5 • 62

published a dataset 9 days ago

phanerozoic/chauvet-exterior

Viewer • Updated 9 days ago • 5 • 62

updated 12 datasets 10 days ago

phanerozoic/Coq-Changelog

Viewer • Updated 10 days ago • 1.21k • 49

phanerozoic/Lean4-Changelog

Viewer • Updated 10 days ago • 3.42k • 56

phanerozoic/Mizar

Viewer • Updated 10 days ago • 51.7k • 122

phanerozoic/Lean4-FormalConjectures

Viewer • Updated 10 days ago • 4.56k • 78

phanerozoic/Lean4-SciLean

Viewer • Updated 10 days ago • 4.97k • 71

phanerozoic/Lean4-EquationalTheories

Viewer • Updated 10 days ago • 16.1k • 76

phanerozoic/Lean4-Stdlib

Viewer • Updated 10 days ago • 53k • 86

phanerozoic/Lean4-FLT

Viewer • Updated 10 days ago • 1.75k • 70

phanerozoic/Lean4-PhysLean

Viewer • Updated 10 days ago • 10.3k • 80

phanerozoic/Lean4-Mathlib

Viewer • Updated 10 days ago • 232k • 126 • 2

phanerozoic/Twelf

Viewer • Updated 10 days ago • 21.2k • 64

phanerozoic/HOLZero

Viewer • Updated 10 days ago • 237 • 55

liked a model 10 days ago

unsloth/gemma-4-31B-it-qat-GGUF

Image-Text-to-Text • 31B • Updated 9 days ago • 216k • 103