derive-it
Simple functions for creating fitch-style natural deduction proofs and derivations.
derive-it
@previewSimple functions for creating fitch-style natural deduction proofs and derivations.
MIT
fitchcraft
Fitch-style proof diagrams
fitchcraft
@previewFitch-style proof diagrams
GPL-3.0-only
herodot
A package for making linear timelines, inspired by chronology.
herodot
@previewA package for making linear timelines, inspired by chronology.
GPL-3.0-only