Explore 3 packages in the TPIX registry
Simple functions for creating fitch-style natural deduction proofs and derivations.
Fitch-style proof diagrams
A package for making linear timelines, inspired by chronology.