AlphaUncommon
whonore/Coqtail
Interactive Coq Proofs in Vim
- Owner
- whonore (personal account)
- Stars
- Stars: 329
- Forks
- Forks: 45
- Language
- Python
- License
- MIT
- Created
- 2017
- Topics
- coqvimproof-assistant
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- mukul975/Privacy-Data-Protection-SkillsStars: 329PythonAlpha
- Qwen-Applications/Trace2SkillStars: 329PythonAlpha
- Speedstu/CUDA-for-AMD-WindowsStars: 329PythonAlpha
- wolph/portalockerStars: 329PythonAlpha
- pyeve/eventsStars: 329PythonAlpha
- menpo/menpoStars: 329PythonAlpha