Coq-Equations

A function definition package for Coq

223 stars

10 watching

44 forks

Language: Coq

last commit: 12 days ago

Linked from 2 awesome lists

coqdependent-typesprogramming-language

Screenshot of mattam82/Coq-Equations website

mattam82.github.io/Coq-Equations

Backlinks from these awesome lists: