On Mon, May 14, 2012 at 12:03:32PM +0200, Andreas Tille wrote:
> On Mon, May 14, 2012 at 10:52:28AM +0200, Hendrik Tews wrote:
> >
> >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,
On Mon, May 14, 2012 at 10:52:28AM +0200, Hendrik Tews wrote:
>
>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.
OK, thanks. I'll care for this.
> BTW:
> - ma
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, c
Hi,
On Mon, May 14, 2012 at 09:26:35AM +0200, Hendrik Tews wrote:
> 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 tas
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 th
Hi,
this seems like a perfect target for Debian Science. Would you consider
team maintenance.
Kind regards
Andreas.
On Fri, May 11, 2012 at 02:35:23PM +0200, Hendrik Tews wrote:
> Package: wnpp
> Owner: Hendrik Tews
> Severity: wishlist
>
> * Package name: prooftree
> Version
Package: wnpp
Owner: Hendrik Tews
Severity: wishlist
* Package name: prooftree
Version : 0.9
Upstream Author : Hendrik Tews
* URL or Web page : http://askra.de/software/prooftree/
* License : GPL-3
Description : proof tree visualization for Proof General
Prooftree
7 matches
Mail list logo
