Re: Open-sourcing Mizar

--0000000000008bd9d605f59e40a3
Content-Type: text/plain; charset="UTF-8"

Dear Adam, Czeslaw and SUM,

this is indeed great news. Thanks and congratulations with this major step!

Best,
Josef

On Fri, Feb 24, 2023 at 1:46 PM Adam Naumowicz adamn _AT_ math.uwb.edu.pl <
[email protected]> wrote:

> Dear Mizar Users,
>
> I'm writing to let you know that the source code of the current Mizar
> implementation is now available as a public repository at
>
> https://github.com/MizarProject/system
>
> The Board of Control of the Association of Mizar Users who is the
> copyright holder, including Czeslaw Bylinski who is the main
> implementer and author of the sources decided to have it open-sourced
> under the GNU GPLv3 license. This should allow accessing the code and
> developing Mizar-related software on similar terms as the Mizar
> Mathematical Library (available under both GPL and CC-By-SA licenses).
>
> Best regards,
>
> Adam Naumowicz
>
>

--0000000000008bd9d605f59e40a3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear Adam, Czeslaw and SUM,<div><br></div><div>this is ind=
eed great news. Thanks and congratulations with this major step!</div><div>=
<br></div><div>Best,</div><div>Josef</div></div><br><div class=3D"gmail_quo=
te"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Feb 24, 2023 at 1:46 PM A=
dam Naumowicz  adamn _AT_ <a href=3D"http://math.uwb.edu.pl">math.uwb.edu.p=
l</a> &lt;<a href=3D"mailto:[email protected]">owner-mizar=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_=
quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,=
204);padding-left:1ex">Dear Mizar Users,<br>
<br>
I&#39;m writing to let you know that the source code of the current Mizar <=
br>
implementation is now available as a public repository at<br>
<br>
<a href=3D"https://github.com/MizarProject/system" rel=3D"noreferrer" targe=
t=3D"_blank">https://github.com/MizarProject/system</a><br>
<br>
The Board of Control of the Association of Mizar Users who is the <br>
copyright holder, including Czeslaw Bylinski who is the main <br>
implementer and author of the sources decided to have it open-sourced<br>
under the GNU GPLv3 license. This should allow accessing the code and <br>
developing Mizar-related software on similar terms as the Mizar <br>
Mathematical Library (available under both GPL and CC-By-SA licenses).<br>
<br>
Best regards,<br>
<br>
Adam Naumowicz<br>
<br>
</blockquote></div>

--0000000000008bd9d605f59e40a3--