summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/fitch/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/fitch/README.md')
-rw-r--r--macros/latex/contrib/fitch/README.md32
1 files changed, 24 insertions, 8 deletions
diff --git a/macros/latex/contrib/fitch/README.md b/macros/latex/contrib/fitch/README.md
index 1208f4f2dd..7d7a1976d9 100644
--- a/macros/latex/contrib/fitch/README.md
+++ b/macros/latex/contrib/fitch/README.md
@@ -7,8 +7,10 @@ LaTeX macros for Fitch style natural deduction
Fitch-style natural deduction is a system for writing proofs in
propositional logic and predicate logic. This is a set of easy-to-use
LaTeX macros originally written by Peter Selinger. It is used, e.g.,
-in the various versions of _forall x_ by PD Magnus (e.g., the [original](https://www.fecundity.com/logic/download.html),
-[Cambridge](http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html), and [Calgary](https://forallx.openlogicproject.org) versions)
+in the various versions of _forall x_ by PD Magnus (e.g., the
+[original](https://www.fecundity.com/logic/download.html),
+[Cambridge](http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html), and
+[Calgary](https://forallx.openlogicproject.org) versions)
With these macros, one can typeset natural deduction proofs in Fitch
style, as in the following example:
@@ -36,6 +38,14 @@ The output is shown above, and the corresponding LaTeX code below.
## Changes
+**v1.0-beta, October 15, 2023** Adds `outerline` option; improves
+`\by`; fixes spacing when using `tabular`
+
+**v1.0-alpha, Sept 30, 2023** This is an alpha release that adds key-value
+options to the package and commands for customization. It is not fully
+compatible with the 0.x versions (see documentation). Please report
+any issues or suggestions.
+
**v0.6, Sept 4, 2023.** Updated the documentation and license (from
GPL to LPPL). The code is essentially unchanged.
@@ -51,12 +61,18 @@ The code is [maintained on Github](https://github.com/OpenLogicProject/fitch/).
## Related packages
-- The [`lplfitch`](https://ctan.org/pkg/lplfitch) packages produces
- Fitch-style roofs in the format used in Barwise & Etchemendy's textbook
- _Language, Proof, and Logic_.
-- The [`natded`](https://ctan.org/pkg/natded) package produces natural
- deduction roofs in the style of Jaśkowski, or that of Kalish and
- Montague.
+- [`logicproof`](https://ctan.org/pkg/logicproof): natural deduction
+ with boxed subproofs in the style of Huth and Ryan's _Logic in
+ Computer Science_.
+- [`lplfitch`](https://ctan.org/pkg/lplfitch): Fitch-style proofs in
+ the format used in Barwise & Etchemendy's textbook _Language, Proof,
+ and Logic_.
+- [`natded`](https://ctan.org/pkg/natded): natural deduction proofs
+ in the style of Jaśkowski, or that of Kalish and Montague.
+- [`synproof`](https://ctan.org/pkg/synproof): natural deduction
+ proofs in the style of Gamut's _Logic,
+ Language, and Meaning_.
+
Additional packages for proofs, including Johan Klüwer's, are
available at a [page maintained by Alex Kocurek](https://www.actual.world/latex/)