How to typeset axiomatic logic proofs in list form? - LaTeX4technics

LaTeX

MathJax

Meta

Author: Francisco Zambrano 9