Module tnt::deduction

Structs

Deduction	Enforces valid use of deductive logic to produce proofs in Typographical Number Theory and outputs formatted results.
TheoremFrame	Information tracked about each Formula