GitHub repository: pavpanchekha/coq-server.el
Primary language: Emacs Lisp
Created: 2015-06-23T23:11:58Z
Description: An Emacs script to run Coq remotely