一个HTTP服务器,用于回答Coq查询,如Print、Locate by talk to coqtop、,An HTTP server that answers Coq queries like Print, Locate by talking to coqtop, (2014-05-21, Java, 0KB, 下载0次)