PrototypeCommune
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
- Propriétaire
- the-lambda-church (organisation)
- Étoiles
- Étoiles : 185
- Forks
- Forks : 65
- Langage
- Vim Script
- Licence
- ISC
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Vim Script
Tous les dépôts Vim Script- yssl/QFEnterÉtoiles : 185Vim ScriptPrototype
- bhurlow/vim-parinferÉtoiles : 185Vim ScriptPrototype
- ollykel/v-vimÉtoiles : 185Vim ScriptPrototype