<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
whonore/Coqtail
Interactive Coq Proofs in Vim
Python
Stars 309
Forks 39
Watchers 309
Open issues 37
License MIT License
Details
仓库信息
Owner
whonore
Homepage
—
GitHub
https://github.com/whonore/Coqtail
Last pushed
2025-12-07
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--