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

[ bsd3, library, program, text ] [ Propose Tags ]

For more information and a tutorial on how to use this package, please see the README at


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log
Dependencies base (>=4.16.4 && <4.17), pandoc (>=2.19.2 && <2.20), pandoc-logic-proof, pandoc-types (>=1.22.2 && <1.23), text (>=1.2.5 && <1.3) [details]
License BSD-3-Clause
Copyright (c) 2020-2023 Amy de Buitléir
Author Amy de Buitléir
Category Text
Home page
Bug tracker
Source repo head: git clone
Uploaded by AmyDeBuitleir at 2023-03-17T15:19:30Z
Executables pandoc-logic-proof
Downloads 77 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]