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

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
there.

Bye,

Hendrik



Reply to: