Coqtail

Interactive Coq Proofs in Vim

272 stars

8 watching

35 forks

Language: Python

last commit: 18 days ago

Linked from 1 awesome list

coqproof-assistantvim

Backlinks from these awesome lists:

coq-community/awesome-coq