add formatting file for Coq