Document developer setup
This is probably a naive question, but I didn't find a documentation explaining how to setup Flocq for development. I didn't see any _CoqProject
, and when I open a Flocq file in PG, Coq doesn't find the dependencies inside Flocq (how would it?).
Shouldn't Flocq include or generate a _CoqProject
?