platform

Multi platform setup for Coq, Coq libraries and tools

189 stars

8 watching

48 forks

Language: Shell

last commit: 19 days ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq