Explore 8 packages in the TPIX registry
Unofficial UGM presentation.
Simple functions for creating fitch-style natural deduction proofs and derivations.
Stash content to display it later.
Straightforward and functional theorem/proof environments.
Make typesetting theorems and proofs trivial.
Fitch-style proof diagrams
A package for making linear timelines, inspired by chronology.
Math environments working similar to native elements.