Module tnt::deduction

Structs

Deduction	The Deduction struct enforces valid use of deductive logic to produce proofs in Typographical Number Theory and output LaTeX formatted proofs.
TheoremFrame