Charles Norton's picture

Charles Norton

phanerozoic

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Recent Activity

updated a model about 3 hours ago

phanerozoic/tiny-parity-prover

published a model about 6 hours ago

phanerozoic/tiny-parity-prover

liked a dataset 1 day ago

nvidia/Nemotron-Math-Proofs-v1

View all activity

Organizations

phanerozoic 's datasets 80

phanerozoic/Isabelle-Stdlib

Viewer • Updated 1 day ago • 78k • 14

phanerozoic/Isabelle-seL4

Viewer • Updated 1 day ago • 74.1k • 19

phanerozoic/Agda-Prelude

Viewer • Updated 1 day ago • 735 • 15

phanerozoic/Agda-HoTT

Viewer • Updated 1 day ago • 604 • 13

phanerozoic/Agda-Categories

Viewer • Updated 1 day ago • 730 • 27

phanerozoic/Agda-UniMath

Viewer • Updated 1 day ago • 4.49k • 25

phanerozoic/Agda-1Lab

Viewer • Updated 1 day ago • 2.11k • 14

phanerozoic/Agda-Cubical

Viewer • Updated 1 day ago • 3.03k • 26

phanerozoic/Lean4-Paperproof

Viewer • Updated 1 day ago • 166 • 16

phanerozoic/Lean4-Quote4

Viewer • Updated 1 day ago • 104 • 14

phanerozoic/Lean4-LeanCopilot

Viewer • Updated 1 day ago • 141 • 15

phanerozoic/Lean4-CvxLean

Viewer • Updated 1 day ago • 1.22k • 15

phanerozoic/Lean4-FormalConjectures

Viewer • Updated 1 day ago • 2.57k • 14

phanerozoic/Lean4-EquationalTheories

Viewer • Updated 1 day ago • 14.4k • 16

phanerozoic/Lean4-ProofWidgets

Viewer • Updated 1 day ago • 276 • 19

phanerozoic/Lean4-Aesop

Viewer • Updated 1 day ago • 1.84k • 17

phanerozoic/Lean4-FLT

Viewer • Updated 1 day ago • 1.76k • 14

phanerozoic/Lean4-SciLean

Viewer • Updated 1 day ago • 4.45k • 14

phanerozoic/Lean4-PhysLean

Viewer • Updated 1 day ago • 7.03k • 15

phanerozoic/Coq-Hammer

Viewer • Updated 1 day ago • 866 • 13

phanerozoic/Coq-Kruskal

Viewer • Updated 1 day ago • 102 • 17

phanerozoic/Coq-FreeSpec

Viewer • Updated 1 day ago • 279 • 14

phanerozoic/Coq-Prime

Viewer • Updated 1 day ago • 11.7k • 14

phanerozoic/Coq-WasmCert

Viewer • Updated 1 day ago • 2.45k • 16

phanerozoic/Coq-Jasmin

Viewer • Updated 1 day ago • 9.73k • 15

phanerozoic/Coq-HierarchyBuilder

Viewer • Updated 1 day ago • 752 • 14

phanerozoic/Coq-AACTactics

Viewer • Updated 1 day ago • 141 • 14

phanerozoic/Coq-Elpi

Viewer • Updated 1 day ago • 2.2k • 14

phanerozoic/Coq-OddOrder

Viewer • Updated 1 day ago • 2.2k • 17

phanerozoic/Coq-FourColor

Viewer • Updated 1 day ago • 3.37k • 16