1 search result for "tag:"keyword: inductive definitions""
Showing 1 - 1
-
coq-graph-basics
No documentation
a Coq toolkit for graph theory8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019
No documentation