• A library of abstract interfaces for mathematical structures in Coq.

    Coq 54 28 Updated Feb 20, 2017
  • math-classes Homepage

    HTML 1 2 Updated Aug 9, 2016