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