graph-theory

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

Julia project for working with the normalized Laplacian spread