Add key bindings for Coq theorem proving in vim