Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 10 hours ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 12 hours ago

phanerozoic/hi-21cm-survey

updated a dataset 1 day ago

phanerozoic/constellaration-tracker-results

View all activity

Organizations

phanerozoic 's datasets 98

phanerozoic/Coq-Paco

Viewer • Updated Jan 13 • 2.18k • 8

phanerozoic/Coq-Hammer

Viewer • Updated Jan 13 • 866 • 13

phanerozoic/Coq-Kruskal

Viewer • Updated Jan 13 • 102 • 15

phanerozoic/Coq-Prime

Viewer • Updated Jan 13 • 11.7k • 9

phanerozoic/Coq-FreeSpec

Viewer • Updated Jan 13 • 279 • 6

phanerozoic/Coq-WasmCert

Viewer • Updated Jan 13 • 2.45k • 55

phanerozoic/Coq-Jasmin

Viewer • Updated Jan 13 • 9.73k • 14

phanerozoic/Coq-HierarchyBuilder

Viewer • Updated Jan 13 • 752 • 12

phanerozoic/Coq-AACTactics

Viewer • Updated Jan 13 • 141 • 12

phanerozoic/Coq-Elpi

Viewer • Updated Jan 13 • 2.2k • 9

phanerozoic/Coq-OddOrder

Viewer • Updated Jan 13 • 2.2k • 18

phanerozoic/Coq-FourColor

Viewer • Updated Jan 13 • 3.37k • 18

phanerozoic/Coq-Finmap

Viewer • Updated Jan 13 • 910 • 17

phanerozoic/Coq-CategoryTheory

Viewer • Updated Jan 13 • 2.95k • 48 • 1

phanerozoic/Coq-ALEA

Viewer • Updated Jan 13 • 1.67k • 19

phanerozoic/Coq-Analysis

Viewer • Updated Jan 13 • 9.3k • 184 • 1

phanerozoic/Coq-Infotheo

Viewer • Updated Jan 13 • 4.77k • 16

phanerozoic/Coq-InteractionTrees

Viewer • Updated Jan 13 • 2.94k • 116

phanerozoic/Coq-ExtLib

Viewer • Updated Jan 13 • 776 • 12

phanerozoic/Coq-QuickChick

Viewer • Updated Jan 13 • 2.37k • 29

phanerozoic/Coq-Certicoq

Viewer • Updated Jan 13 • 7.58k • 31

phanerozoic/Coq-Verdi

Viewer • Updated Jan 13 • 1.14k • 146

phanerozoic/Coq-Corn

Viewer • Updated Jan 13 • 11.1k • 19

phanerozoic/Coq-Coquelicot

Viewer • Updated Jan 13 • 2.45k • 16

phanerozoic/Coq-Bedrock

Viewer • Updated Jan 13 • 2.19k • 41

phanerozoic/Coq-VST

Viewer • Updated Jan 13 • 52.9k • 13

phanerozoic/Coq-Flocq

Viewer • Updated Jan 13 • 3.21k • 99

phanerozoic/Coq-MathComp

Viewer • Updated Jan 13 • 19.9k • 16

phanerozoic/Coq-Iris

Viewer • Updated Jan 13 • 10.2k • 20

phanerozoic/Coq-Stdlib

Viewer • Updated Jan 13 • 2.36k • 19