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
Straightforward and functional theorem/proof environments.
great-theorems
@previewStraightforward and functional theorem/proof environments.
MIT
trivial
Make typesetting theorems and proofs trivial.
trivial
@previewMake typesetting theorems and proofs trivial.
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
lemming
Math environments working similar to native elements.
lemming
@previewMath environments working similar to native elements.
LGPL-3.0-only