Coqtail

Interactive Coq Proofs in Vim

Search similar apps

License

MIT License

Interactive Coq Proofs in Vim

Creator

whonore

Related apps