Coq development of CATALYST