Coq Dependent Types

Open-source Coq projects categorized as Dependent Types | Edit details

Coq Dependent Type Projects

  • GitHub repo Coq-Equations

    A function definition package for Coq

    Project mention: Learn coq or agda before diving into idris2? | | 2021-05-02

    I'd say Agda is more similar to Idris than Coq. Coq has a different syntax and isn't as good for programming with dependent types as Agda and Idris (Agda and Idris both put a huge emphasis on dependent pattern matching, something that Coq only recently gained support for through the Equations package).

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-05-02.


Project Stars
1 Coq-Equations 163