An example of formalizing recent mathematical results in Mizar

Sorry, there's nothing here.

Cite this paper

@article{Naumowicz2006AnEO, title={An example of formalizing recent mathematical results in Mizar}, author={Adam Naumowicz}, journal={J. Applied Logic}, year={2006}, volume={4}, pages={396-413} }