title: Cycle Graph check Coq
body: <p>Can someone point me to a graph theory library in Coq with ready to use check whether a Graph is Cycle Graph or not. If there is no existing implementation of the above, a library with implementation of vertex degree and connectedness will also do.
  I have been exploring library with links below which has graph implementation and connectedness as well,
  I couldn't find check on cyclic graph or degree of Vertex related implementation.</p>
  
  <p><a href="https://perso.ens-lyon.fr/damien.pous/covece/graphs/current/toc.html" rel="nofollow noreferrer">TOC of library</a></p>
  
  <p><a href="https://perso.ens-lyon.fr/damien.pous/covece/graphs/" rel="nofollow noreferrer">Project Homepage of library</a></p>