GitHub - joscoh/graph-proofs at a633f70a1cdc086779cd12321f2d607379fbef11

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
.gitignore		.gitignore
AdjacencyMap.v		AdjacencyMap.v
DFS.v		DFS.v
Forest.v		Forest.v
Graph.v		Graph.v
Helper.v		Helper.v
Makefile		Makefile
Path.v		Path.v
Proofs.tex		Proofs.tex
README		README
Tree.v		Tree.v
TreeImpl.v		TreeImpl.v
_CoqProject		_CoqProject

Repository files navigation

This repo contains proofs about graph algorithms in Coq. For the moment, I am attempting to prove the correctness of a version of DFS heavily inspired by the one in CLRS.