A Coq IDE build on top of Proof General's Coq mode
语言：Emacs Lisp · GitHub 星标：361 · Fork：32
话题：company-mode · coq · emacs · integrated-development-environment · proof-assistant · proof-general
在 GitHub 上查看原仓库
开源雷达国内 GitHub 镜像站
开源雷达国内 GitHub 镜像站