Mizar (software)/Definition

A group of hardware and software tools for automated verification of mathematical definitions and proofs.