olydis/coq2latex

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

https://github.com/olydis/coq2latex

olydis

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)