@hackage pandoc-logic-proof0.2.0.4

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

Categories
- Text
License
BSD-3-Clause
Maintainer
amy@nualeargais.ie
Links
Versions
- 0.2.0.4 Fri, 17 Mar 2023

Installation
In your cabal file:
Dependencies (4)
- base >=4.16.4 && <4.17
- pandoc-logic-proof
- pandoc-types >=1.22.2 && <1.23
Dependents (0)

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.