phanerozoic/Agda-1Lab
Viewer • Updated • 5.7k • 70
Proof Assistant Projects
Digesting proof assistant libraries for AI ingestion.
-
-
phanerozoic/Agda-Categories
Viewer • Updated • 1.36k • 66 -
phanerozoic/Agda-Cubical
Viewer • Updated • 9.81k • 79 -
phanerozoic/Agda-HoTT
Viewer • Updated • 2.32k • 64 -
phanerozoic/Agda-Prelude
Viewer • Updated • 1.65k • 56 -
phanerozoic/Agda-Stdlib
Viewer • Updated • 10.8k • 68 -
phanerozoic/Agda-UniMath
Viewer • Updated • 11.6k • 72 -
phanerozoic/Isabelle-AFP
Viewer • Updated • 352k • 76 -
phanerozoic/Isabelle-Stdlib
Viewer • Updated • 88.7k • 121 -
phanerozoic/Isabelle-seL4
Viewer • Updated • 56k • 79 -
phanerozoic/HOL4
Viewer • Updated • 73.1k • 79 -
phanerozoic/HOL-Light
Viewer • Updated • 38.4k • 59 -
phanerozoic/ACL2
Viewer • Updated • 204k • 66 -
phanerozoic/F-Star
Viewer • Updated • 30.7k • 71 -
phanerozoic/Dafny
Viewer • Updated • 23.3k • 93 -
phanerozoic/Idris2
Viewer • Updated • 9.93k • 61 -
phanerozoic/Mizar
Viewer • Updated • 51.7k • 126 -
phanerozoic/Metamath
Viewer • Updated • 63.1k • 58 -
phanerozoic/Why3
Viewer • Updated • 9.56k • 73 -
phanerozoic/TLA-Plus
Viewer • Updated • 4.55k • 267 -
phanerozoic/Coq-AACTactics
Viewer • Updated • 326 • 65 -
phanerozoic/Coq-ALEA
Viewer • Updated • 1.58k • 62 -
phanerozoic/Coq-Analysis
Viewer • Updated • 10.4k • 66 • 1 -
phanerozoic/Coq-Bedrock
Viewer • Updated • 5.65k • 70 -
phanerozoic/Coq-CategoryTheory
Viewer • Updated • 2.73k • 101 • 1 -
phanerozoic/Coq-Certicoq
Viewer • Updated • 7.15k • 85 -
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 51 -
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 36 -
phanerozoic/Coq-CoLoR
Viewer • Updated • 10k • 63 -
phanerozoic/Coq-CompCert
Viewer • Updated • 11k • 68 -
phanerozoic/Coq-Coquelicot
Viewer • Updated • 2.42k • 67 -
phanerozoic/Coq-Corn
Viewer • Updated • 11.3k • 74 -
phanerozoic/Coq-Elpi
Viewer • Updated • 1.55k • 63 -
phanerozoic/Coq-Equations
Viewer • Updated • 3.04k • 66 -
phanerozoic/Coq-ExtLib
Viewer • Updated • 1.02k • 64 -
phanerozoic/Coq-Finmap
Viewer • Updated • 1.22k • 69 -
phanerozoic/Coq-Flocq
Viewer • Updated • 3.26k • 66 -
phanerozoic/Coq-FourColor
Viewer • Updated • 3.52k • 63 -
phanerozoic/Coq-FreeSpec
Viewer • Updated • 248 • 63 -
phanerozoic/Coq-Hammer
Viewer • Updated • 762 • 57 -
phanerozoic/Coq-HierarchyBuilder
Viewer • Updated • 593 • 73 -
phanerozoic/Coq-HoTT
Viewer • Updated • 12.7k • 91 • 3 -
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 36 -
phanerozoic/Coq-Infotheo
Viewer • Updated • 4.95k • 66 -
phanerozoic/Coq-InteractionTrees
Viewer • Updated • 3.05k • 62 -
phanerozoic/Coq-Iris
Viewer • Updated • 9.83k • 80 -
phanerozoic/Coq-Jasmin
Viewer • Updated • 9.64k • 69 -
phanerozoic/Coq-Kruskal
Viewer • Updated • 167 • 55 -
phanerozoic/Coq-MathComp
Viewer • Updated • 23.8k • 73 -
phanerozoic/Coq-MetaCoq
Viewer • Updated • 16.6k • 68 -
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 38 -
phanerozoic/Coq-OddOrder
Viewer • Updated • 2.46k • 61 -
phanerozoic/Coq-Prime
Viewer • Updated • 11.7k • 67 -
phanerozoic/Coq-QuickChick
Viewer • Updated • 2.75k • 66 -
phanerozoic/Coq-Stdlib
Viewer • Updated • 18.4k • 88 -
phanerozoic/Coq-Stdpp
Viewer • Updated • 5.65k • 65 -
phanerozoic/Coq-UniMath
Viewer • Updated • 51.2k • 79 -
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 39 • 1 -
phanerozoic/Coq-VST
Viewer • Updated • 43.7k • 66 -
phanerozoic/Coq-Verdi
Viewer • Updated • 1.04k • 65 -
phanerozoic/Coq-WasmCert
Viewer • Updated • 2.68k • 60 -
phanerozoic/Lean4-Aesop
Viewer • Updated • 1.98k • 80 -
phanerozoic/Lean4-Batteries
Viewer • Updated • 3.06k • 79 -
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 55 -
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 39 • 1 -
phanerozoic/Lean4-CvxLean
Viewer • Updated • 1.24k • 67 -
phanerozoic/Lean4-EquationalTheories
Viewer • Updated • 16.1k • 72 -
phanerozoic/Lean4-FLT
Viewer • Updated • 1.75k • 69 -
phanerozoic/Lean4-FormalConjectures
Viewer • Updated • 4.56k • 74 -
phanerozoic/Lean4-LeanCopilot
Viewer • Updated • 136 • 68 -
phanerozoic/Lean4-LeanSAT
Viewer • Updated • 1.77k • 74 -
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 122 • 2 -
phanerozoic/Lean4-Paperproof
Viewer • Updated • 150 • 70 -
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 80 -
phanerozoic/Lean4-ProofWidgets
Viewer • Updated • 306 • 69 -
phanerozoic/Lean4-Qq
Viewer • Updated • 181 • 64 -
phanerozoic/Lean4-Quote4
Viewer • Updated • 181 • 77 -
phanerozoic/Lean4-SciLean
Viewer • Updated • 4.97k • 73 -
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 84 -
phanerozoic/Coq-Paco
Viewer • Updated • 2.11k • 52 -
phanerozoic/Coq-Velus
Viewer • Updated • 9.31k • 63 -
phanerozoic/Coq-Metalib
Viewer • Updated • 1.26k • 60 -
phanerozoic/Lean4-Duper
Viewer • Updated • 1.61k • 67 -
phanerozoic/Agda-TypeTopology
Viewer • Updated • 12.4k • 63 -
phanerozoic/PVS-NASALib
Viewer • Updated • 33.9k • 62 -
phanerozoic/Lean3-Mathlib
Viewer • Updated • 125k • 66 -
phanerozoic/Twelf
Viewer • Updated • 21.2k • 66 -
phanerozoic/Boogie
Viewer • Updated • 16.2k • 70 -
phanerozoic/Viper
Viewer • Updated • 5.82k • 63 -
phanerozoic/Cryptol
Viewer • Updated • 1.04k • 64 -
phanerozoic/Cedille
Viewer • Updated • 1.09k • 64 -
phanerozoic/Beluga
Viewer • Updated • 2.62k • 57 -
phanerozoic/Arend
Viewer • Updated • 2.69k • 62 -
phanerozoic/Abella
Viewer • Updated • 769 • 59 -
phanerozoic/Alloy
Viewer • Updated • 1.13k • 59 -
phanerozoic/Matita
Viewer • Updated • 3.9k • 64 -
phanerozoic/HOLZero
Viewer • Updated • 237 • 55 -
phanerozoic/ProofPower
Viewer • Updated • 691 • 61 -
phanerozoic/JonPRL
Viewer • Updated • 771 • 55 -
phanerozoic/cubicaltt
Viewer • Updated • 1.87k • 67 -
phanerozoic/RedPRL
Viewer • Updated • 290 • 65 -
phanerozoic/redtt
Viewer • Updated • 500 • 66 -
phanerozoic/cooltt
Viewer • Updated • 228 • 65