alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
AI summary
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
- stars
- 25
- forks
- 0
- watching
- 3
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Algebra library
A Coq library providing algebraic data structures and algorithms
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
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
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Hash filter library
A verified hash-based approximate membership structure library in Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions alea.
