Explore 1 packages in the TPIX registry
Simple functions for creating fitch-style natural deduction proofs and derivations.