coqproc:用python处理coq源文件