pandoc-logic-proof-0.2.0.4: A pandoc filter that provides a Markdown extension for logic proofs. (Index)

pandoc-logic-proof-0.2.0.4: A pandoc filter that provides a Markdown extension for logic proofs.

Index

formatProofs	Text.Pandoc.Filters.LogicProof
transform	Text.Pandoc.Filters.LogicProof