AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
Coqtail
https://github.com/whonore/Coqtail
Python
274
2 months ago
Reviews
Interactive Coq Proofs in Vim
Search similar apps
coq
proof-assistant
vim
License
MIT License
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
Interactive Coq Proofs in Vim
Creator
whonore
Related apps