coq2latex
coq2latex copied to clipboard
Published
20 hours ago •
olydis
olydis
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Results
1
coq2latex issues
Sort by
recently updated
recently updated
newest added
This tool looks very promising, I'd also like to use it with Unicode (like company-coq lets you input). When I tried that, the tool just silently fails and produces no...
