PrototypeCommon
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
- Owner
- the-lambda-church (organization)
- Stars
- Stars: 185
- Forks
- Forks: 65
- Language
- Vim Script
- License
- ISC
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Vim Script
All Vim Script repos- timss/vimconfStars: 185Vim ScriptPrototype
- yssl/QFEnterStars: 185Vim ScriptPrototype
- bhurlow/vim-parinferStars: 185Vim ScriptPrototype
- cosminadrianpopescu/vim-sql-workbenchStars: 184Vim ScriptPrototype