coq-community/graph-theory

Issues

• Propagate finmap results to upstream

  #29 opened a year ago by palmskog
  0

• Meta-issue: blockers for v0.8

  #11 opened 4 years ago by chdoc
  0

• Consitently use documentation comments (** *) for explanations.

  #9 opened 4 years ago by chdoc
  0

• GitHub release or tag for Coq 8.11 and MathComp 1.10.0

  #3 opened 4 years ago by palmskog
  4