Bug#866334: ITP: lean -- theorem prover from Microsoft Research

2017-06-28 Thread Andreas Tille
Hi Benjamin, Thanks for this ITP. I'd suggest to package this in Debian Science team. Kind regards Andreas. On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote: > Package: wnpp > Severity: wishlist > Owner: Benjamin Barenblat > > * Package name: lean > Version

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

2017-06-28 Thread Anton Gladky
Hi Benjamin, please consider the option of maintaining this package under the roof of the Debian Science Team. Best regards Anton Am Mittwoch, 28. Juni 2017 schrieb Benjamin Barenblat : > Package: wnpp > Severity: wishlist > Owner: Benjamin Barenblat > > > * Package name: lean > Version

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

2017-06-28 Thread Benjamin Barenblat
> On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote: > > Description : theorem prover from Microsoft Research On Thu, Jun 29, 2017 at 1:41:57 AM, Julian Andres Klode wrote: > I don't think we need the company advertisement here, though. Maybe. MSR is a well-known name in

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

2017-06-28 Thread Julian Andres Klode
On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote: > Package: wnpp > Severity: wishlist > Owner: Benjamin Barenblat > > * Package name: lean > Version : 3.2.0 > Upstream Author : Leonardo de Moura et al. > * URL : https://leanprover.github.io/ > * Lic

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

2017-06-28 Thread Benjamin Barenblat
Package: wnpp Severity: wishlist Owner: Benjamin Barenblat * Package name: lean Version : 3.2.0 Upstream Author : Leonardo de Moura et al. * URL : https://leanprover.github.io/ * License : Apache-2.0 Programming Lang: C++ Description : theorem prover f