Generation of coq.io