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

[mizar] Open-sourcing Mizar

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


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