PeaCoq

PeaCoq is a pretty Coq, isn't it?

106 stars

8 watching

10 forks

Language: Coq

last commit: about 3 years ago

Linked from 2 awesome lists

Screenshot of Ptival/PeaCoq website

goto.ucsd.edu/peacoq

Backlinks from these awesome lists: