我正在写论文，我想能够引用方程编号。但是，我已经使用该mathpartir包格式化我的方程，因为它们是输入推导的规则，但似乎没有允许我为使用此包生成的方程编号的选项。我尝试将其包装在环境中equation，但似乎不起作用。有人知道我该如何实现这一点吗？
为了尝试实现这一点，我尝试了以下 LaTeX 代码：
\usepackage{mathpartir}
\begin{document}
\begin{equation}
\inferrule*[Right=float]
{ }
{\Gamma \vdash \texttt{num}: \texttt{float[n]}}
\end{equation}
\end{document}
并且它正确地呈现了等式，但是没有编号。