The repository host gives no description.
Repository Index
60,121 visible repositories in the index
1–14 of 14 · Most stars
Lean 4 programming language and theorem prover
- lean4
- lean
The math library of Lean 4
- lean4
The repository host gives no description.
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis