A command-line tool to generate Latex (inference rules) from inductive coq definitions.
暂无评论，来聊聊你的看法吧