the Natural Deduction LaTeX Package

1 → 9 of 9 results First • Previous • Next • Last
High
In Progress
#159390 Test document needed
the Natural Deduction LaTeX Package 2
High
Triaged
#266891 numbering out of align with nested assumptions
the Natural Deduction LaTeX Package 2
Medium
Confirmed
#156946 'state' is not a good keyword
the Natural Deduction LaTeX Package 2
Medium
Confirmed
#159385 Documentation needed
the Natural Deduction LaTeX Package 2
Low
Confirmed
#156942 Some propositional proofs require an additional column
the Natural Deduction LaTeX Package 2
Wishlist
Confirmed
#156944 Width of columns should be automatically calculated
the Natural Deduction LaTeX Package 2
Wishlist
Confirmed
#156947 \assumption shouldn't require a lines argument
the Natural Deduction LaTeX Package 2
Wishlist
Confirmed
#156948 LyX integration would be nice
the Natural Deduction LaTeX Package 6
Wishlist
Confirmed
#266898 Add \assume as syntactic sugar for \state{foo}{assumption}
the Natural Deduction LaTeX Package 2
1 → 9 of 9 results First • Previous • Next • Last
Bug supervisor:
None set

Series-targeted bugs

Milestone-targeted bugs