---

• A detailed report on choosing the license: http://arxiv.org/abs/1107.3212 [ .PDF file],
• Recommendation,
• Copying interpretation,
• Fiduciary Licence Agreement,
• FAQ,
• Copying GPL,
• Statute of the Association of Mizar Users.

---

Contact
dr Roman Matuszewski
University of Bialystok
Faculty of Computer Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Bialystok, Poland
e-mail: romat@mizar.org