ProofGeneral/PG

This repo is the new home of Proof General

语言：Emacs Lisp · GitHub 星标：562 · Fork：109

话题：coq · docker-coq-action · emacs · integrated-development-environment · proof-assistant · proof-general

在 GitHub 上查看原仓库