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