the Natural Deduction LaTeX Package

1 → 2 of 2 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
1 → 2 of 2 results First • Previous • Next • Last
Bug supervisor:
None set

Series-targeted bugs

Milestone-targeted bugs