GraphAlg is a Rocq library formalizing graph theory and combinatorial commutative algebra.
- Authors:
- Takafumi Saikawa, Nagoya University
- Kazunori Matsuda, Kitami Institute of Technology
- Yosuke Tsuji, Kitami Institute of Technology (M1)
- License: LGPL-2.1-or-later