, Institute of Informatics, University of Bialystok, Poland

• Journal of Formalized Reasoning Vol. 3 No. 2 (2010): Special Issue: User Tutorials I - Articles
  Mizar in a Nutshell
  Abstract  PDF