Announcing <b>pandoc-logic-proof</b>: A pandoc filter that provides a Markdown extension for logic proofs. This package has been available from my repo for a while, but I have now uploaded it to Hackage, and also made it available as a Nix flake.<br /><br />Hackage: https://hackage.haskell.org/package/pandoc-logic-proof<br />Repo: https://github.com/mhwombat/pandoc-logic-proof

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;pandoc-discuss&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org">pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/pandoc-discuss/9a1c2c24-0223-414d-884b-99a889fc67b6n%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/pandoc-discuss/9a1c2c24-0223-414d-884b-99a889fc67b6n%40googlegroups.com</a>.<br />