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.