# whonore/Coqtail

<https://repo.masters-masters.com/en/repos/whonore/Coqtail>

[Home](https://repo.masters-masters.com/en) › [whonore](https://repo.masters-masters.com/en/owners/whonore) › [Coqtail](https://repo.masters-masters.com/en/repos/whonore/Coqtail)

whonore/Coqtail has 329 stars on GitHub. Its RepoMasters card: Alpha tier. Interactive Coq Proofs in Vim Language: Python.

| Field | Value |
| --- | --- |
| Owner | [whonore](https://repo.masters-masters.com/en/owners/whonore) |
| Stars | 329 |
| Forks | 45 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2017 |
| Topics | coq, vim, proof-assistant |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [whonore/Coqtail](https://github.com/whonore/Coqtail) |

## Repository

Interactive Coq Proofs in Vim

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [Noietch/EVA-CLIENT · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/Noietch/EVA-CLIENT)
- [fidetolabs/qanat · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/fidetolabs/qanat)
- [Speedstu/CUDA-for-AMD-Windows · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/Speedstu/CUDA-for-AMD-Windows)
- [wolph/portalocker · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/wolph/portalocker)
- [pyeve/events · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/pyeve/events)
- [menpo/menpo · ★ 329 · Python · Alpha](https://repo.masters-masters.com/en/repos/menpo/menpo)

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