the Natural Deduction LaTeX Package

  1. Bug #159390
  2. Comment #0

Comment 0 for bug 159390

Revision history for this message
Dan Watkins (oddbloke) wrote :

To ensure that no breakage happens after release, a document containing a number of test cases should be created.