Coqtail-EasyCrypt. Interactive Coq Proofs in Vim ... now with EasyCrypt support. (You'll also want some syntax files, see linked issue.)

github.com/cormacrelf/Coqtail-EasyCrypt
by @cormacrelf

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.