Some propositional proofs require an additional column
Bug #156942 reported by
Dan Watkins
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| the Natural Deduction LaTeX Package |
Confirmed
|
Low
|
Unassigned | ||
Bug Description
Propositional proofs sometimes introduce dummy variables when a \forall or \exists is involved. Supporting these in a proof* environment would be valuable.
| Changed in naturaldeduction: | |
| importance: | Undecided → Low |
| status: | New → Confirmed |
To post a comment you must log in.
