cogumbreiro/aniceto-coq

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

Last synced at: over 2 years ago - Stars: 0 - Forks: 0