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.
  • QuickChick - Randomized Property-Based Testing Plugin for Coq.

results matching ""

    No results matching ""