Open-sourcing Mizar

Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> Fri, 24 Feb 2023 13:43:53 +0100 (CET)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<Pine.SOL.4.64.2302241316210.29078@math>

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