@hackage / pandoc-logic-proof

A pandoc filter that provides a Markdown extension for logic proofs.

Latest0.2.0.4

About

Metadata

  • Last updated , by AmyDeBuitleir
  • License BSD-3-Clause
  • Categories Text Processing

  • Maintained by: amy@nualeargais.ie

  • Lottery factor: 0

Links

Installation

Readme

For more information and a tutorial on how to use this package, please see the README at https://github.com/mhwombat/pandoc-logic-proof#readme.