coq-proba
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
A Probability Theory Library for the Coq Theorem Prover
50 stars
1 watching
5 forks
Language: Coq
last commit: over 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/alea | A library for reasoning about randomized algorithms in Coq | 25 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 30 |
 mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 42 |
 jwiegley/coq-haskell | A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant. | 168 |
 charguer/tlc | A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 191 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
| jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 759 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 snu-sf/paco | A Coq library for proving properties about stateful systems through parameterized coinduction | 43 |
| coq-community/coqtail-math | A collection of mathematical theorems and tools within the Coq proof assistant | 15 |
| coq-community/graph-theory | Formalized graph theory results for research and verification | 35 |
 matafou/libhyps | A Coq library providing tactics to manipulate hypotheses in formal proofs. | 20 |