gitlab.com topics: coq-library
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
Related Keywords
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