Mizar (software)/External Links


 * The dictionary of basic mathematical notations in Mizar