@hackage / pandoc-logic-proof

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

Latest0.2.0.4

Dependencies

library:pandoc-logic-proof (4 dependencies)

@hackage / pandoc-types Types for representing a structured document
- Version: >=1.22.2 && <1.23
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.5 && <1.3
- License: BSD-2-Clause
@hackage / pandoc Conversion between markup formats
- Version: >=2.19.2 && <2.20
- License: GPL-2.0-or-later
@hackage / base Core data structures and operations
- Version: >=4.16.4 && <4.17
- License: BSD-3-Clause

executable:pandoc-logic-proof (3 dependencies)