smt-vim. Vim files for SMT-LIB 2 support

github.com/raichoo/smt-vim
by @raichoo

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.