math-comp/odd-order

Issues

• `rewrite (can_eq (dprod_IirrK _))` is slow

  #56 opened 4 months ago by pi8027
  0

• CI fails consistently

  #26 opened 4 years ago by pi8027
  0

• CI is broken

  #22 opened 4 years ago by CohenCyril
  3

• Broken build

  #8 opened 6 years ago by SkySkimmer
  1

• Keep the same package name

  #1 opened 6 years ago by CohenCyril
  0

• Build failure with master version of math-comp

  #4 opened 6 years ago by vbgl
  1