• A library of Coq definitions, theorems, and tactics.

    Coq 50 13 Updated Jul 14, 2018
  • A compiler for Coq

    Coq 20 1 MIT Updated Feb 21, 2013