Coq.py removed