tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
AI summary
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
- stars
- 13
- forks
- 8
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Graph formalizer
Formalized graph theory results for research and verification
Graph theorem proof
A formal proof of a fundamental result in graph theory using the Coq proof assistant
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
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
Geometry library
A formalization of geometry using the Coq proof assistant.
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.
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Featured in 1 awesome list
Each link jumps to the spot where the list mentions tarjan.