Add \assume as syntactic sugar for \state{foo}{assumption}
Bug #266898 reported by
Dan Watkins
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| the Natural Deduction LaTeX Package |
Confirmed
|
Wishlist
|
Unassigned | ||
Bug Description
Dooo it.
| Changed in naturaldeduction: | |
| assignee: | nobody → daniel-thewatkins |
| importance: | Undecided → Wishlist |
| status: | New → Confirmed |
| Changed in naturaldeduction: | |
| assignee: | Daniel Watkins (daniel-thewatkins) → nobody |
To post a comment you must log in.
