GitHub repository: Ailrun/coq-commenter
Primary language: Emacs Lisp
Created: 2016-07-18T07:37:43Z
Description: Coq commenter for Emacs