coq-proba
by jtassarotti
A Probability Theory Library for the Coq Theorem Prover
AI summary
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
- stars
- 50
- forks
- 5
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Proof assistant library
Python bindings for Coq's interactive proof assistant
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Coinductive proof library
A Coq library for proving properties about stateful systems through parameterized coinduction
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Graph formalizer
Formalized graph theory results for research and verification
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
