Template:Mizar (software)/Metadata