Coq

  • UniMath - Coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  • Mathematical Components - Library of formalized mathematics for the Coq system.

results matching ""

    No results matching ""