ugm-presentation-unofficial
Unofficial UGM presentation.
ugm-presentation-unofficial
@previewUnofficial UGM presentation.
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.
stash
Stash content to display it later.
stash
@previewStash content to display it later.
great-theorems
Straightforward and functional theorem/proof environments.
great-theorems
@previewStraightforward and functional theorem/proof environments.
fitchcraft
Fitch-style proof diagrams
fitchcraft
@previewFitch-style proof diagrams
herodot
A package for making linear timelines, inspired by chronology.
herodot
@previewA package for making linear timelines, inspired by chronology.
trivial
Make typesetting theorems and proofs trivial.
trivial
@previewMake typesetting theorems and proofs trivial.
lemming
Math environments working similar to native elements.
lemming
@previewMath environments working similar to native elements.