Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Recent Activity

updated a dataset about 20 hours ago

phanerozoic/hi-21cm-survey

updated a dataset about 20 hours ago

phanerozoic/qiskit-calibration-drift

published a dataset 4 days ago

phanerozoic/hi-21cm-survey

View all activity

Organizations

phanerozoic 's datasets 91

phanerozoic/Lean4-ProofWidgets

Viewer • Updated Jan 10 • 276 • 7

phanerozoic/Lean4-Aesop

Viewer • Updated Jan 10 • 1.84k • 12

phanerozoic/Lean4-FLT

Viewer • Updated Jan 10 • 1.76k • 13

phanerozoic/Lean4-SciLean

Viewer • Updated Jan 10 • 4.45k • 8

phanerozoic/Lean4-PhysLean

Viewer • Updated Jan 10 • 7.03k • 11

phanerozoic/Mizar

Viewer • Updated Jan 10 • 31.2k • 8

phanerozoic/Coq-CompCert

Viewer • Updated Jan 10 • 11.4k • 7

phanerozoic/Idris2

Viewer • Updated Jan 10 • 6.21k • 8

phanerozoic/HOL-Light

Viewer • Updated Jan 10 • 34.6k • 6

phanerozoic/HOL4

Viewer • Updated Jan 10 • 63.3k • 7

phanerozoic/Metamath

Viewer • Updated Jan 10 • 73k • 6

phanerozoic/Lean4-Qq

Viewer • Updated Jan 10 • 104 • 7

phanerozoic/Coq-CoLoR

Viewer • Updated Jan 10 • 3.3k • 11

phanerozoic/Coq-Equations

Viewer • Updated Jan 10 • 3.1k • 9

phanerozoic/Coq-Stdpp

Viewer • Updated Jan 10 • 4.98k • 26

phanerozoic/Coq-Changelog

Viewer • Updated Jan 10 • 481 • 4

phanerozoic/Coq-MetaCoq

Viewer • Updated Jan 10 • 17.9k • 5

phanerozoic/Coq-UniMath

Viewer • Updated Jan 10 • 48.2k • 6

phanerozoic/Coq-HoTT

Viewer • Updated Jan 10 • 11.5k • 5 • 2

phanerozoic/Lean4-Batteries

Viewer • Updated Jan 10 • 2.35k • 7

phanerozoic/Isabelle-AFP

Viewer • Updated Jan 10 • 313k • 9

phanerozoic/Lean4-Stdlib

Viewer • Updated Jan 10 • 40.6k • 10

phanerozoic/Lean4-Mathlib

Viewer • Updated Jan 10 • 193k • 21 • 1

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 10 • 3.21k • 97

phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12, 2025 • 2k • 10 • 1

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 22

phanerozoic/Coq-MetaCoq-QA

Viewer • Updated Dec 13, 2024 • 10.5k • 24

phanerozoic/Coq-HoTT-QA

Viewer • Updated Dec 10, 2024 • 7.83k • 32

phanerozoic/Coq-UniMath-QA

Viewer • Updated Dec 10, 2024 • 38.6k • 25 • 1

phanerozoic/PumpkinVision

Viewer • Updated Sep 13, 2024 • 1.91k • 14