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

Virginia Lake LaTeX Macros

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

14.2.2010Alessio Guglielmiemail