Alessio Guglielmi's Research and Teaching / Virginia Lake LaTeX Macros

Virginia Lake LaTeX Macros

These are LaTeX macros for proofs and atomic flows. They are useful for writing papers in the area of deep inference, but they might find uses also in less specific proof theory papers:

16.5.2014Alessio Guglielmiemail