Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a collection about 6 hours ago

Proof Assistant Projects

updated a collection about 6 hours ago

Proof Assistant Projects

updated a collection about 6 hours ago

Proof Assistant Projects

View all activity

Organizations

phanerozoic 's datasets 119

phanerozoic/Lean4-Batteries

Viewer • Updated about 2 hours ago • 3.29k • 28

phanerozoic/Lean4-Aesop

Viewer • Updated about 2 hours ago • 2.57k • 26

phanerozoic/Lean3-Mathlib

Viewer • Updated about 2 hours ago • 130k

phanerozoic/JonPRL

Viewer • Updated about 2 hours ago • 835

phanerozoic/Isabelle-Stdlib

Viewer • Updated about 2 hours ago • 91k • 48

phanerozoic/Isabelle-seL4

Viewer • Updated about 2 hours ago • 75.8k • 19

phanerozoic/Isabelle-AFP

Viewer • Updated about 2 hours ago • 367k • 24

phanerozoic/Idris2

Viewer • Updated about 2 hours ago • 9.18k • 11

phanerozoic/HOLZero

Viewer • Updated about 2 hours ago • 248

phanerozoic/HOL4

Viewer • Updated about 2 hours ago • 75.3k • 10

phanerozoic/HOL-Light

Viewer • Updated about 2 hours ago • 40.2k • 14

phanerozoic/F-Star

Viewer • Updated about 2 hours ago • 32.7k • 11

phanerozoic/Dafny

Viewer • Updated about 2 hours ago • 28.3k • 41

phanerozoic/Cryptol

Viewer • Updated about 2 hours ago • 761

phanerozoic/Coq-WasmCert

Viewer • Updated about 2 hours ago • 2.69k • 9

phanerozoic/Coq-VST

Viewer • Updated about 2 hours ago • 62.3k • 11

phanerozoic/Coq-Verdi

Viewer • Updated about 2 hours ago • 1.15k • 20

phanerozoic/Coq-Velus

Viewer • Updated about 2 hours ago • 9.46k • 48

phanerozoic/Coq-UniMath

Viewer • Updated about 2 hours ago • 52.8k • 118

phanerozoic/Coq-Stdpp

Viewer • Updated about 2 hours ago • 5.65k • 44

phanerozoic/Coq-Stdlib

Viewer • Updated about 2 hours ago • 19.7k • 18

phanerozoic/Coq-QuickChick

Viewer • Updated about 2 hours ago • 2.85k • 14

phanerozoic/Coq-Prime

Viewer • Updated about 2 hours ago • 11.7k • 14

phanerozoic/Coq-Paco

Viewer • Updated about 2 hours ago • 2.19k • 9

phanerozoic/Coq-OddOrder

Viewer • Updated about 2 hours ago • 2.79k • 15

phanerozoic/Coq-Metalib

Viewer • Updated about 2 hours ago • 1.53k • 15

phanerozoic/Coq-MetaCoq

Viewer • Updated about 2 hours ago • 18.1k • 311

phanerozoic/Coq-MathComp

Viewer • Updated about 2 hours ago • 24.6k • 20

phanerozoic/Coq-Kruskal

Viewer • Updated about 2 hours ago • 172 • 15

phanerozoic/Coq-Jasmin

Viewer • Updated about 2 hours ago • 9.87k • 15