phanerozoic/Agda-1Lab
Viewer • Updated • 2.11k • 19
Proof Assistant Projects
Digesting proof assistant libraries for AI ingestion.
-
-
phanerozoic/Agda-Categories
Viewer • Updated • 730 • 77 -
phanerozoic/Agda-Cubical
Viewer • Updated • 3.03k • 20 -
phanerozoic/Agda-HoTT
Viewer • Updated • 604 • 18 -
phanerozoic/Agda-Prelude
Viewer • Updated • 735 • 17 -
phanerozoic/Agda-Stdlib
Viewer • Updated • 7.07k • 20 -
phanerozoic/Agda-UniMath
Viewer • Updated • 4.49k • 17 -
phanerozoic/Isabelle-AFP
Viewer • Updated • 313k • 23 -
phanerozoic/Isabelle-Stdlib
Viewer • Updated • 78k • 17 -
phanerozoic/Isabelle-seL4
Viewer • Updated • 74.1k • 22 -
phanerozoic/HOL4
Viewer • Updated • 63.3k • 14 -
phanerozoic/HOL-Light
Viewer • Updated • 34.6k • 12 -
phanerozoic/ACL2
Viewer • Updated • 231k • 29 -
phanerozoic/F-Star
Viewer • Updated • 13k • 16 -
phanerozoic/Dafny
Viewer • Updated • 9.57k • 45 -
phanerozoic/Idris2
Viewer • Updated • 6.21k • 19 -
phanerozoic/Mizar
Viewer • Updated • 31.2k • 15 -
phanerozoic/Metamath
Viewer • Updated • 73k • 16 -
phanerozoic/Why3
Viewer • Updated • 3.16k • 24 -
phanerozoic/TLA-Plus
Viewer • Updated • 3.9k • 14 -
phanerozoic/Coq-AACTactics
Viewer • Updated • 141 • 16 -
phanerozoic/Coq-ALEA
Viewer • Updated • 1.67k • 21 -
phanerozoic/Coq-Analysis
Viewer • Updated • 9.3k • 183 • 1 -
phanerozoic/Coq-Bedrock
Viewer • Updated • 2.19k • 43 -
phanerozoic/Coq-CategoryTheory
Viewer • Updated • 2.95k • 56 • 1 -
phanerozoic/Coq-Certicoq
Viewer • Updated • 7.58k • 25 -
phanerozoic/Coq-Changelog
Viewer • Updated • 481 • 14 -
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 68 -
phanerozoic/Coq-CoLoR
Viewer • Updated • 3.3k • 14 -
phanerozoic/Coq-CompCert
Viewer • Updated • 11.4k • 69 -
phanerozoic/Coq-Coquelicot
Viewer • Updated • 2.45k • 15 -
phanerozoic/Coq-Corn
Viewer • Updated • 11.1k • 18 -
phanerozoic/Coq-Elpi
Viewer • Updated • 2.2k • 12 -
phanerozoic/Coq-Equations
Viewer • Updated • 3.1k • 11 -
phanerozoic/Coq-ExtLib
Viewer • Updated • 776 • 21 -
phanerozoic/Coq-Finmap
Viewer • Updated • 910 • 16 -
phanerozoic/Coq-Flocq
Viewer • Updated • 3.21k • 107 -
phanerozoic/Coq-FourColor
Viewer • Updated • 3.37k • 15 -
phanerozoic/Coq-FreeSpec
Viewer • Updated • 279 • 13 -
phanerozoic/Coq-Hammer
Viewer • Updated • 866 • 21 -
phanerozoic/Coq-HierarchyBuilder
Viewer • Updated • 752 • 15 -
phanerozoic/Coq-HoTT
Viewer • Updated • 11.5k • 31 • 2 -
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 47 -
phanerozoic/Coq-Infotheo
Viewer • Updated • 4.77k • 29 -
phanerozoic/Coq-InteractionTrees
Viewer • Updated • 2.94k • 125 -
phanerozoic/Coq-Iris
Viewer • Updated • 10.2k • 21 -
phanerozoic/Coq-Jasmin
Viewer • Updated • 9.73k • 17 -
phanerozoic/Coq-Kruskal
Viewer • Updated • 102 • 21 -
phanerozoic/Coq-MathComp
Viewer • Updated • 19.9k • 20 -
phanerozoic/Coq-MetaCoq
Viewer • Updated • 17.9k • 302 -
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 48 -
phanerozoic/Coq-OddOrder
Viewer • Updated • 2.2k • 32 -
phanerozoic/Coq-Prime
Viewer • Updated • 11.7k • 15 -
phanerozoic/Coq-QuickChick
Viewer • Updated • 2.37k • 31 -
phanerozoic/Coq-Stdlib
Viewer • Updated • 2.36k • 21 -
phanerozoic/Coq-Stdpp
Viewer • Updated • 4.98k • 46 -
phanerozoic/Coq-UniMath
Viewer • Updated • 48.2k • 109 -
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 52 • 1 -
phanerozoic/Coq-VST
Viewer • Updated • 52.9k • 24 -
phanerozoic/Coq-Verdi
Viewer • Updated • 1.14k • 150 -
phanerozoic/Coq-WasmCert
Viewer • Updated • 2.45k • 134 -
phanerozoic/Lean4-Aesop
Viewer • Updated • 1.84k • 17 -
phanerozoic/Lean4-Batteries
Viewer • Updated • 2.35k • 23 -
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.21k • 266 -
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 76 • 1 -
phanerozoic/Lean4-CvxLean
Viewer • Updated • 1.22k • 54 -
phanerozoic/Lean4-EquationalTheories
Viewer • Updated • 14.4k • 20 -
phanerozoic/Lean4-FLT
Viewer • Updated • 1.76k • 25 -
phanerozoic/Lean4-FormalConjectures
Viewer • Updated • 2.57k • 27 -
phanerozoic/Lean4-LeanCopilot
Viewer • Updated • 141 • 19 -
phanerozoic/Lean4-LeanSAT
Viewer • Updated • 1.75k • 30 -
phanerozoic/Lean4-Mathlib
Viewer • Updated • 193k • 77 • 2 -
phanerozoic/Lean4-Paperproof
Viewer • Updated • 166 • 19 -
phanerozoic/Lean4-PhysLean
Viewer • Updated • 7.03k • 13 -
phanerozoic/Lean4-ProofWidgets
Viewer • Updated • 276 • 27 -
phanerozoic/Lean4-Qq
Viewer • Updated • 104 • 17 -
phanerozoic/Lean4-Quote4
Viewer • Updated • 104 • 14 -
phanerozoic/Lean4-SciLean
Viewer • Updated • 4.45k • 24 -
phanerozoic/Lean4-Stdlib
Viewer • Updated • 40.6k • 16 -
phanerozoic/Coq-Paco
Viewer • Updated • 2.18k • 13 -
phanerozoic/Coq-Velus
Viewer • Updated • 9.8k • 61 -
phanerozoic/Coq-Metalib
Viewer • Updated • 1.75k • 26 -
phanerozoic/Lean4-Duper
Viewer • Updated • 1.56k • 28 -
phanerozoic/Agda-TypeTopology
Viewer • Updated • 7.78k • 21