Agda vs. Coq vs. Idris | Meta-cedille blog - discu.eu

Lobsters

Agda vs. Coq vs. Idris https://whatisrt.github.io/dependent-types/2020/02/18/agda-vs-coq-vs-idris.html 7 comments 20/2/2020 formalmethods , plt

Reddit

Agda vs. Coq vs. Idris https://whatisrt.github.io/dependent-types/2020/02/18/agda-vs-coq-vs-idris.html 29 comments 19/2/2020 haskell

Linked pages

GitHub - mattam82/Coq-Equations: A function definition package for Coq http://github.com/mattam82/Coq-Equations 1 comment

Related searches:

Search whole site: site:whatisrt.github.io

Search title: Agda vs. Coq vs. Idris | Meta-cedille blog

See how to search.

Submit link to: