Fork of the Coquet source code with changes that were needed to make it work with Coq