答案1
我不完全确定您所考虑的是哪种缩放比例,但从包装\scalebox
上看,graphicx
确实可以在某种程度上进行缩放证明。
\documentclass{article}
\usepackage{graphicx}
\usepackage{ebproof}
\usepackage{amssymb}
\begin{document}
\newcommand\someproof
{\begin{prooftree}
\Hypo{ \Gamma &\vdash A \to B }
\Infer[no rule]1{ \Gamma &\vdash {!A} \multimap B }
\Hypo{ \Delta &\vdash A }
\Infer[rule thickness=2pt]1{ \Delta &\vdash {!A} }
\Infer0{ B \vdash B }
\Infer[dashed]2{ \Delta, {!A}\multimap B \vdash B }
\Infer2{ \Gamma, \Delta &\vdash B }
\Infer[double]1{ \Gamma \cup \Delta &\vdash B }
\end{prooftree}%
}
\scalebox{0.5}{\someproof}
\scalebox{0.4}{\someproof}
\scalebox{0.3}{\someproof}
\scalebox{0.2}{\someproof}
\end{document}