The Bibliography of the Mizar Project


Mizar manuals: On the Mizar Mathematical Library:
Works devoted to Mizar:

Works devoted to Mizar-MSE

Works devoted to pedagogical and philosophical aspects of Mizar-MSE

Works devoted to natural deduction systems in Jaskowski style

Some material (really old papers describing the beginnings of the Mizar project) can be found here.
[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: February 5, 2016