GitHub - isosafrasaurus/transitive_closure: Coq definitions of relations on finite sets, transitive closure, adjacency matrix powering, Floyd-Warshall algorithm, Tarjan and Purdom algorithms.

Placeholder.

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
#algorithm_fw#		#algorithm_fw#
#algorithm_tarjan#		#algorithm_tarjan#
#gen_decideability#		#gen_decideability#
#vertex.v#		#vertex.v#
README.md		README.md
_CoqProject		_CoqProject
algorithm_fw		algorithm_fw
algorithm_purdom		algorithm_purdom
algorithm_tarjan		algorithm_tarjan
gen_decideability		gen_decideability
graph.glob		graph.glob
graph.v		graph.v
graph.vo		graph.vo
graph.vok		graph.vok
graph.vos		graph.vos
makefile		makefile
makefile.conf		makefile.conf
vertex.glob		vertex.glob
vertex.v		vertex.v

isosafrasaurus/transitive_closure