# the-lambda-church/coquille

<https://repo.masters-masters.com/en/repos/the-lambda-church/coquille>

[Home](https://repo.masters-masters.com/en) › [the-lambda-church](https://repo.masters-masters.com/en/owners/the-lambda-church) › [coquille](https://repo.masters-masters.com/en/repos/the-lambda-church/coquille)

the-lambda-church/coquille has 185 stars on GitHub. Its RepoMasters card: Prototype tier. Interactive theorem proving with Coq in vim. Language: Vim Script.

| Field | Value |
| --- | --- |
| Owner | [the-lambda-church](https://repo.masters-masters.com/en/owners/the-lambda-church) |
| Stars | 185 |
| Forks | 65 |
| Language | [Vim Script](https://repo.masters-masters.com/en/languages/vim-script) |
| License | ISC |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [the-lambda-church/coquille](https://github.com/the-lambda-church/coquille) |

## Repository

Interactive theorem proving with Coq in vim.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Vim Script

- [timss/vimconf · ★ 185 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/timss/vimconf)
- [yssl/QFEnter · ★ 185 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/yssl/QFEnter)
- [bhurlow/vim-parinfer · ★ 185 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/bhurlow/vim-parinfer)
- [cosminadrianpopescu/vim-sql-workbench · ★ 184 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/cosminadrianpopescu/vim-sql-workbench)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.