[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Reply to: