Add Coq files