A command-line tool to generate Latex (inference rules) from inductive coq definitions.
No open issues yet, or sync has not completed.
No comments yet. Be the first to share.