pandoc-logic-proof (hackage): Logic proofs for pandoc.
Keywords: bsd3|library|program|text