🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

liked a model about 5 hours ago

prism-ml/Bonsai-27B-mlx-1bit

new activity about 9 hours ago

phanerozoic/exact-solve:Uploaded using `kernel-builder`.

updated a dataset about 22 hours ago

phanerozoic/qiskit-calibration-drift

View all activity

Organizations

phanerozoic 's datasets 119

phanerozoic/qiskit-calibration-drift

Viewer • Updated about 6 hours ago • 8.43M • 1.56k • 3

phanerozoic/Dafny

Viewer • Updated Jun 15 • 23.3k • 15

phanerozoic/HOL4

Viewer • Updated Jun 15 • 73.1k • 28

phanerozoic/Agda-Cubical

Viewer • Updated Jun 15 • 9.81k • 27

phanerozoic/chauvet-exterior

Viewer • Updated Jun 11 • 5 • 64

phanerozoic/Coq-Changelog

Viewer • Updated Jun 10 • 1.21k • 19

phanerozoic/Lean4-Changelog

Viewer • Updated Jun 10 • 3.42k • 39

phanerozoic/Lean4-PhysLean

Viewer • Updated Jun 10 • 10.3k • 45

phanerozoic/Lean4-Stdlib

Viewer • Updated Jun 10 • 53k • 34

phanerozoic/Lean4-Mathlib

Viewer • Updated Jun 10 • 232k • 821 • 2

phanerozoic/Mizar

Viewer • Updated Jun 10 • 51.7k • 79

phanerozoic/Lean4-FormalConjectures

Viewer • Updated Jun 10 • 4.56k • 32

phanerozoic/Lean4-SciLean

Viewer • Updated Jun 10 • 4.97k • 37

phanerozoic/Lean4-EquationalTheories

Viewer • Updated Jun 10 • 16.1k • 17

phanerozoic/Lean4-FLT

Viewer • Updated Jun 10 • 1.75k • 14

phanerozoic/Twelf

Viewer • Updated Jun 9 • 21.2k • 9

phanerozoic/Boogie

Viewer • Updated Jun 9 • 16.2k • 7

phanerozoic/Agda-Stdlib

Viewer • Updated Jun 9 • 10.8k • 29

phanerozoic/Agda-HoTT

Viewer • Updated Jun 9 • 2.32k • 14

phanerozoic/Isabelle-AFP

Viewer • Updated Jun 9 • 352k • 13

phanerozoic/Cedille

Viewer • Updated Jun 9 • 1.09k • 6

phanerozoic/Agda-TypeTopology

Viewer • Updated Jun 9 • 12.4k • 22

phanerozoic/Agda-Categories

Viewer • Updated Jun 9 • 1.36k • 18

phanerozoic/Agda-1Lab

Viewer • Updated Jun 9 • 5.7k • 29

phanerozoic/ACL2

Viewer • Updated Jun 9 • 204k • 26

phanerozoic/Idris2

Viewer • Updated Jun 9 • 9.93k • 10

phanerozoic/Isabelle-seL4

Viewer • Updated Jun 9 • 56k • 24

phanerozoic/Isabelle-Stdlib

Viewer • Updated Jun 9 • 88.7k • 49

phanerozoic/Cryptol

Viewer • Updated Jun 9 • 1.04k • 22

phanerozoic/redtt

Viewer • Updated Jun 9 • 500 • 13