cormacrelf / coqtail-easycrypt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from whonore/coqtail
Interactive Coq Proofs in Vim ... now with EasyCrypt support. (You'll also want some syntax files, see linked issue.)
Home Page: https://github.com/EasyCrypt/easycrypt/issues/118
License: MIT License