coq-equations