dogear

Graph Theory

github.comtool

Formalized graph theory results.

visit github.com ↗

sign in to dogear this

from: Coq
added: 2026-10-10
likes: 0

Coq › Projects > Type Theory and Mathematics: “Formalized graph theory results.”