[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] MML License

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] MML License
From: "Robert M. Solovay" <solovay@math.berkeley.edu>
Date: Fri, 14 Mar 2003 23:53:25 -0800 (PST)

I also would like to see Mizar GPL-ed. In addition to my personal desire,
I have found that various people will not even consider Mizar once they
hear that the source for the Mizar proof checker is not publically
available. [One case in point is Raph, the owner of the Advogato weblog
with whom I have been discussing computer verified mathematical proofs.]

	--Bob Solovay

On Fri, 14 Mar 2003, Piotr Rudnicki wrote:

> On Fri, Mar 14, 2003 at 07:26:58PM +0100, Josef Urban wrote:
> > I hate to open this problem, especially after arguing too many times that
> > Mizar should be GPL-ed, but I need to add some license info to MPTP right
> > now.
>
> Mizar should have been GPL-ed long time ago, I am in favour.
>
> --
> Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
> email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr
>

Follow-Ups:
- Re: [mizar] MML License
  - From: Freek Wiedijk <freek@cs.kun.nl>

References:
- Re: [mizar] MML License
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>

Prev by Date: Re: [mizar] MML License
Next by Date: Re: [mizar] MML License
Index(es):
- Chronological
- Thread