Re: Bug#672480: ITP: prooftree -- proof tree visualization for Proof General
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.
- 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