Charles Norton's picture

🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 13 hours ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 14 hours ago

phanerozoic/hi-21cm-survey

liked a dataset 2 days ago

phanerozoic/Coq-HoTT

View all activity

Organizations

phanerozoic 's datasets 120

phanerozoic/qiskit-calibration-drift

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

phanerozoic/hi-21cm-survey

Updated about 9 hours ago • 91.2k • 3

phanerozoic/Dafny

Viewer • Updated 8 days ago • 23.3k • 93

phanerozoic/HOL4

Viewer • Updated 8 days ago • 73.1k • 77

phanerozoic/Agda-Cubical

Viewer • Updated 8 days ago • 9.81k • 79

phanerozoic/chauvet-exterior

Viewer • Updated 13 days ago • 5 • 63

phanerozoic/Coq-Changelog

Viewer • Updated 14 days ago • 1.21k • 51

phanerozoic/Lean4-Changelog

Viewer • Updated 14 days ago • 3.42k • 56

phanerozoic/Lean4-PhysLean

Viewer • Updated 14 days ago • 10.3k • 79

phanerozoic/Lean4-Stdlib

Viewer • Updated 14 days ago • 53k • 84

phanerozoic/Lean4-Mathlib

Viewer • Updated 14 days ago • 232k • 120 • 2

phanerozoic/Mizar

Viewer • Updated 14 days ago • 51.7k • 125

phanerozoic/Lean4-FormalConjectures

Viewer • Updated 14 days ago • 4.56k • 75

phanerozoic/Lean4-SciLean

Viewer • Updated 14 days ago • 4.97k • 74

phanerozoic/Lean4-EquationalTheories

Viewer • Updated 14 days ago • 16.1k • 75

phanerozoic/Lean4-FLT

Viewer • Updated 14 days ago • 1.75k • 70

phanerozoic/Twelf

Viewer • Updated 14 days ago • 21.2k • 65

phanerozoic/Boogie

Viewer • Updated 14 days ago • 16.2k • 70

phanerozoic/Agda-Stdlib

Viewer • Updated 14 days ago • 10.8k • 70

phanerozoic/Agda-HoTT

Viewer • Updated 14 days ago • 2.32k • 62

phanerozoic/Isabelle-AFP

Viewer • Updated 14 days ago • 352k • 75

phanerozoic/Cedille

Viewer • Updated 14 days ago • 1.09k • 64

phanerozoic/Agda-TypeTopology

Viewer • Updated 14 days ago • 12.4k • 62

phanerozoic/Agda-Categories

Viewer • Updated 14 days ago • 1.36k • 67

phanerozoic/Agda-1Lab

Viewer • Updated 14 days ago • 5.7k • 70

phanerozoic/ACL2

Viewer • Updated 14 days ago • 204k • 67

phanerozoic/Idris2

Viewer • Updated 14 days ago • 9.93k • 60

phanerozoic/Isabelle-seL4

Viewer • Updated 14 days ago • 56k • 77

phanerozoic/Isabelle-Stdlib

Viewer • Updated 14 days ago • 88.7k • 108

phanerozoic/Cryptol

Viewer • Updated 14 days ago • 1.04k • 64