add Coq section to README