fav-ssr
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
AI summary
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
- stars
- 45
- forks
- 7
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
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.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Graph formalizer
Formalized graph theory results for research and verification
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Featured in 1 awesome list
Each link jumps to the spot where the list mentions fav-ssr.