Bug#672480: ITP: prooftree -- proof tree visualization for Proof General

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

   and tell us, in what task your package might fit best.
   
If prooftree ever makes it into Debian, it should be together
with coq and proof-general, ie. science-mathematics.

BTW:
- matita, agda, prover9 are proof assistants similar to coq, but
  not listed in science-mathematics
- hol-light, currently waiting in the new-queue, too
- minisat would also belong to this group
- you might want to have a separate meta-package
  "theorem-proving" or "formal-methods" for all these tools


Bye,

Hendrik