ebproof

Formal proofs in the style of sequent calculus

License: lppl1.3 Version: 2.0, dated: 2017-05-17 Catalogued: 2017-05-17

• Visit
  • Visit a nearby CTAN:/macros/latex/contrib/ebproof. If this fails, try Dante.
  • Visit Dante:/macros/latex/contrib/ebproof
• Download
  • Download from a nearby CTAN (automatically identified).
  • Download from Cambridge.
• Documentation
  • Readme: README.md.
  • Package documentation: ebproof.pdf.
• Distributions
  • Download TDS package from a nearby CTAN (automatically identified).
  • This package is included in TeX Live.
  • This package is included in MiKTeX.