Charles Norton's picture

Building on HF

Charles Norton

phanerozoic

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Recent Activity

updated a model about 3 hours ago

phanerozoic/8bit-threshold-computer-4329

published a model about 17 hours ago

phanerozoic/8bit-threshold-computer-4329

updated a model about 19 hours ago

phanerozoic/8bit-threshold-computer

View all activity

Organizations

phanerozoic 's datasets 86

phanerozoic/Why3

Viewer • Updated 4 days ago • 3.16k • 25

phanerozoic/ACL2

Viewer • Updated 4 days ago • 231k • 23

phanerozoic/Dafny

Viewer • Updated 4 days ago • 9.57k • 21

phanerozoic/F-Star

Viewer • Updated 4 days ago • 13k • 24

phanerozoic/Isabelle-Stdlib

Viewer • Updated 4 days ago • 78k • 23

phanerozoic/Isabelle-seL4

Viewer • Updated 4 days ago • 74.1k • 29

phanerozoic/Agda-TypeTopology

Viewer • Updated 4 days ago • 7.78k • 14

phanerozoic/Agda-Prelude

Viewer • Updated 4 days ago • 735 • 24

phanerozoic/Agda-HoTT

Viewer • Updated 4 days ago • 604 • 22

phanerozoic/Agda-1Lab

Viewer • Updated 4 days ago • 2.11k • 23

phanerozoic/Agda-UniMath

Viewer • Updated 4 days ago • 4.49k • 33

phanerozoic/Agda-Categories

Viewer • Updated 4 days ago • 730 • 37

phanerozoic/Agda-Cubical

Viewer • Updated 4 days ago • 3.03k • 34

phanerozoic/Agda-Stdlib

Viewer • Updated 4 days ago • 7.07k • 26

phanerozoic/Lean4-Duper

Viewer • Updated 4 days ago • 1.56k • 16

phanerozoic/Lean4-LeanSAT

Viewer • Updated 4 days ago • 1.75k • 26

phanerozoic/Coq-Velus

Viewer • Updated 4 days ago • 9.8k • 22

phanerozoic/Coq-Metalib

Viewer • Updated 4 days ago • 1.75k • 19

phanerozoic/Coq-Paco

Viewer • Updated 4 days ago • 2.18k • 24

phanerozoic/Coq-Hammer

Viewer • Updated 4 days ago • 866 • 30

phanerozoic/Coq-Kruskal

Viewer • Updated 4 days ago • 102 • 29

phanerozoic/Coq-Prime

Viewer • Updated 4 days ago • 11.7k • 25

phanerozoic/Coq-FreeSpec

Viewer • Updated 4 days ago • 279 • 24

phanerozoic/Coq-WasmCert

Viewer • Updated 4 days ago • 2.45k • 27

phanerozoic/Coq-Jasmin

Viewer • Updated 4 days ago • 9.73k • 26

phanerozoic/Coq-HierarchyBuilder

Viewer • Updated 4 days ago • 752 • 27

phanerozoic/Coq-AACTactics

Viewer • Updated 4 days ago • 141 • 26

phanerozoic/Coq-Elpi

Viewer • Updated 4 days ago • 2.2k • 24

phanerozoic/Coq-OddOrder

Viewer • Updated 4 days ago • 2.2k • 28

phanerozoic/Coq-FourColor

Viewer • Updated 4 days ago • 3.37k • 29