Registered
by
Dan Watkins
A LaTeX package to make the typesetting of natural deduction proofs less painful.
View full history Series and milestones
trunk series is the current focus of development.
All bugs Latest bugs reported
-
Bug #266898: Add \assume as syntactic sugar for \state{foo}{assumption}
Reported -
Bug #266891: numbering out of align with nested assumptions
Reported -
Bug #159394: Specification of width of columns should be optional
Reported -
Bug #159392: Numbers on first line of outer assumptions are misaligned
Reported -
Bug #159390: Test document needed
Reported
