E

ebproof

Project information

A LaTeX package to typeset formal proofs in the style of sequent calculus.

53 Commits
1 Branch
5 Tags

README
LaTeX Project Public License v1.3c

Created on

May 17, 2017

Loading