@hackage / pandoc-logic-proof

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