LyXproofs
LyX is a time saver for producing TeX documents, but has no built-in support for the visual edition of proof derivation as used in logic. LyXproofs is a set of LyX macros that ease the construction of proof derivations that rely on the LaTeX package bussproofs. Requires LyX ≥ 1.6.
- LyXproofs.lyx. July 17th 2010.
- LyXproofs-Guide.lyx. July 17th 2010.
Miscellaneous
A macro for <t|u> (commands of system L) that add vertical spacing so that it is more readable when nested.
\newcommand{\pad}[1]{{#1}^{\protect\rule{0pt}{0.4em}}} % parameter can be adjusted
\newcommand{\cut}[2]{\pad{\left\langle #1\,\middle|\hspace{-0.1em}\middle|\,#2\right\rangle }} %usage: \cut{v}{e}