Deductions | Features Tour: Exporting

Overview Textbooks Guided Help Learning Flexibility

Image showing the exporting features of Deductions. The phrase exporting is at the top, with arrows pointing to the three basic sorts of exporting that Deductions can do. The arrow on the left points to a PDF icon; the arrow on the right points to a TeX icon; the arrow on the right points to a Text icon.

Unique Identifiers

By turning on the Unique Deduction Identifier feature, any deduction printed out or exported to PDF may be traced back to its original file (helps ensure uniqueness of assignments).

Export Anywhere

Take your natural deductions with you! Text (with symbols preserved) and LaTeX (using Johan Klüwer's Fitch package) export allow proofs to be used in presentations and research papers.