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
stash
Stash content to display it later.
stash
@previewStash content to display it later.
GPL-3.0-or-later
great-theorems
Theorem/Proof environments. Straightforward, functional, clean.
great-theorems
@previewTheorem/Proof environments. Straightforward, functional, clean.
MIT
trivial
Make typesetting theorems and proofs trivial.
trivial
@previewMake typesetting theorems and proofs trivial.
MIT
lemming
Math environments working similar to native elements.
lemming
@previewMath environments working similar to native elements.
LGPL-3.0-only
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