🏗️ Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a collection about 5 hours ago

Mirage and Oasis

updated a collection about 5 hours ago

Mirage and Oasis

updated a collection about 5 hours ago

Mirage and Oasis

View all activity

Organizations

phanerozoic 's datasets 133

phanerozoic/Boogie

Viewer • Updated Jun 9 • 16.2k • 9

phanerozoic/Agda-Stdlib

Viewer • Updated Jun 9 • 10.8k • 37

phanerozoic/Agda-HoTT

Viewer • Updated Jun 9 • 2.32k • 16

phanerozoic/Isabelle-AFP

Viewer • Updated Jun 9 • 352k • 39

phanerozoic/Cedille

Viewer • Updated Jun 9 • 1.09k • 17

phanerozoic/Agda-TypeTopology

Viewer • Updated Jun 9 • 12.4k • 19

phanerozoic/Agda-Categories

Viewer • Updated Jun 9 • 1.36k • 32

phanerozoic/Agda-1Lab

Viewer • Updated Jun 9 • 5.7k • 18

phanerozoic/ACL2

Viewer • Updated Jun 9 • 204k • 16

phanerozoic/Idris2

Viewer • Updated Jun 9 • 9.93k • 10

phanerozoic/Isabelle-seL4

Viewer • Updated Jun 9 • 56k • 18

phanerozoic/Isabelle-Stdlib

Viewer • Updated Jun 9 • 88.7k • 26

phanerozoic/Cryptol

Viewer • Updated Jun 9 • 1.04k • 11

phanerozoic/redtt

Viewer • Updated Jun 9 • 500 • 24

phanerozoic/cubicaltt

Viewer • Updated Jun 9 • 1.87k • 9

phanerozoic/cooltt

Viewer • Updated Jun 9 • 228 • 39

phanerozoic/Why3

Viewer • Updated Jun 9 • 9.56k • 16

phanerozoic/Viper

Viewer • Updated Jun 9 • 5.82k • 14

phanerozoic/TLA-Plus

Viewer • Updated Jun 9 • 4.55k • 33

phanerozoic/RedPRL

Viewer • Updated Jun 9 • 290 • 11

phanerozoic/ProofPower

Viewer • Updated Jun 9 • 691 • 11

phanerozoic/PVS-NASALib

Viewer • Updated Jun 9 • 33.9k • 25

phanerozoic/Metamath

Viewer • Updated Jun 9 • 63.1k • 55

phanerozoic/Matita

Viewer • Updated Jun 9 • 3.9k • 14

phanerozoic/Lean4-Quote4

Viewer • Updated Jun 9 • 181 • 32

phanerozoic/Lean4-Qq

Viewer • Updated Jun 9 • 181 • 30

phanerozoic/Lean4-ProofWidgets

Viewer • Updated Jun 9 • 306 • 26

phanerozoic/Lean4-Paperproof

Viewer • Updated Jun 9 • 150 • 21

phanerozoic/Lean4-LeanSAT

Viewer • Updated Jun 9 • 1.77k • 24

phanerozoic/Lean4-LeanCopilot

Viewer • Updated Jun 9 • 136 • 19