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

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

Andreas Tille writes:
   this seems like a perfect target for Debian Science.  Would you consider
   team maintenance.
I definitely need a sponsor for the prooftree package. I would
first try with the OCaml task force, because prooftree is written
in OCaml and I have a few other packages that are sponsored



Reply to: