Re: [mizar] @; and @by

[Josef Urban <josef.urban@gmail.com>]

Hi Freek,

indeed Mizar is being gradually open sourced, it was announced last
year on this forum.

The first step was finding a reasonable model for licensing the
library. We mostly did it, and will announce it soon here. When that
is done, the next task are the sources.

Piotr (and you) can hack Mizar sources anytime. The sources are
accessible to all members of the Association of the Mizar Users. My
experience is that useful contributions to the code are appreciated,
however people's definition of "useful" might vary significantly ( as
in any major project ).

Best,
Josef




On Thu, Feb 10, 2011 at 12:24 PM, Freek Wiedijk <freek@cs.ru.nl> wrote:
> Hi Piotr,
>
>>and considering the small cost of implementation
>
> If Mizar were open source you might try implementing this
> feature yourself, and then we would have two incompatible
> versions of Mizar that then would have to be merged :-)
>
> So what is the status of this?  I think Josef told me that
> there are serious plans to open source Mizar?  Can anyone
> tell me about this?  Or is the Mizar source already open
> and I just missed this happening?
>
> Freek
>