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:

Ben Ralph has written some Haskell programs that compile into the Virginia Lake macros and might help with open deduction.

Tom Dufall has written a graphical interface that produces Virginia Lake code for open deduction.

The following old stuff might still be useful:


25.6.2018 Alessio Guglielmiemail