the-lambda-church/coquille

Interactive theorem proving with Coq in vim.

语言：Vim script · GitHub 星标：185 · Fork：65

在 GitHub 上查看原仓库