md-logic

Formal logic as part of Markdown documents. Use it to help planning and decision making, or to keep a decision log.

(Planned) Features

• Assumptions

• Inference rules

  • basedOn

    • Full boolean logic AND, OR, NOT, GROUPING ( )

  • supersede

• Reference an assumption or inference rule either by number or name

• Imports between documents

• Use CSV files to run a document with multiple inputs