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

Re: [mizar] Open-sourcing Mizar



Dear Adam,

  that's great news!

Kind regards,
 Michael

 


24.02.2023, 15:44, "Adam Naumowicz adamn _AT_ math.uwb.edu.pl" <owner-mizar-forum@mizar.uwb.edu.pl>:

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