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