show/hide this revision's text 1 [made Community Wiki]

There is a Journal of Formalized Mathematics connected with Mizar project