Template:Mizar

The purpose of this template is to provide a link to a page in Mizar.

Usage:
 *  

Mizar article