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

[ bsd3, library, program, text ] [ Propose Tags ] [ Report a vulnerability ]

For more information and a tutorial on how to use this package, please see the README at https://github.com/mhwombat/pandoc-logic-proof#readme.

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0.4
Change log CHANGELOG.md
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
Maintainer amy@nualeargais.ie
Category Text
Home page https://github.com/mhwombat/pandoc-logic-proof
Bug tracker https://github.com/mhwombat/pandoc-logic-proof/issues
Source repo head: git clone https://github.com/mhwombat/pandoc-logic-proof.git
Uploaded by AmyDeBuitleir at 2023-03-17T15:19:30Z
Distributions
Executables pandoc-logic-proof
Downloads 97 total (0 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]