GitHub repository: olydis/coq2latex
Primary language: C#
Created: 2016-05-19T21:59:03Z
Description: A command-line tool to generate Latex (inference rules) from inductive coq definitions.