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