search

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55 stars 14 forks source link

add _CoqProject and standard delegating Makefile #6

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

This uses our standard build boilerplate.