🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 6 hours ago

phanerozoic/qiskit-calibration-drift

updated a model about 8 hours ago

phanerozoic/coco-comparator-bank

published a model about 8 hours ago

phanerozoic/coco-comparator-bank

View all activity

Organizations

phanerozoic 's datasets 119

phanerozoic/cubicaltt

Viewer • Updated Jun 9 • 1.87k • 10

phanerozoic/cooltt

Viewer • Updated Jun 9 • 228 • 13

phanerozoic/Why3

Viewer • Updated Jun 9 • 9.56k • 31

phanerozoic/Viper

Viewer • Updated Jun 9 • 5.82k • 18

phanerozoic/TLA-Plus

Viewer • Updated Jun 9 • 4.55k • 15

phanerozoic/RedPRL

Viewer • Updated Jun 9 • 290 • 21

phanerozoic/ProofPower

Viewer • Updated Jun 9 • 691 • 39

phanerozoic/PVS-NASALib

Viewer • Updated Jun 9 • 33.9k • 6

phanerozoic/Metamath

Viewer • Updated Jun 9 • 63.1k • 22

phanerozoic/Matita

Viewer • Updated Jun 9 • 3.9k • 19

phanerozoic/Lean4-Quote4

Viewer • Updated Jun 9 • 181 • 23

phanerozoic/Lean4-Qq

Viewer • Updated Jun 9 • 181 • 30

phanerozoic/Lean4-ProofWidgets

Viewer • Updated Jun 9 • 306 • 33

phanerozoic/Lean4-Paperproof

Viewer • Updated Jun 9 • 150 • 26

phanerozoic/Lean4-LeanSAT

Viewer • Updated Jun 9 • 1.77k • 32

phanerozoic/Lean4-LeanCopilot

Viewer • Updated Jun 9 • 136 • 30

phanerozoic/Lean4-Duper

Viewer • Updated Jun 9 • 1.61k • 31

phanerozoic/Lean4-CvxLean

Viewer • Updated Jun 9 • 1.24k • 25

phanerozoic/Lean4-Batteries

Viewer • Updated Jun 9 • 3.06k • 33

phanerozoic/Lean4-Aesop

Viewer • Updated Jun 9 • 1.98k • 58

phanerozoic/Lean3-Mathlib

Viewer • Updated Jun 9 • 125k • 60

phanerozoic/JonPRL

Viewer • Updated Jun 9 • 771 • 12

phanerozoic/HOLZero

Viewer • Updated Jun 9 • 237 • 27

phanerozoic/HOL-Light

Viewer • Updated Jun 9 • 38.4k • 21

phanerozoic/F-Star

Viewer • Updated Jun 9 • 30.7k • 12

phanerozoic/Coq-WasmCert

Viewer • Updated Jun 9 • 2.68k • 18

phanerozoic/Coq-Verdi

Viewer • Updated Jun 9 • 1.04k • 20

phanerozoic/Coq-Velus

Viewer • Updated Jun 9 • 9.31k • 21

phanerozoic/Coq-VST

Viewer • Updated Jun 9 • 43.7k • 20

phanerozoic/Coq-UniMath

Viewer • Updated Jun 9 • 51.2k • 25