ebarsallo/maxflow-mincut

Programming Language Project (Prove max-flow/min-cut theorem of Graph Theory)

Coq