Mizar (disambiguation)
(Redirected from Mizar)
Jump to navigation
Jump to search
This disambiguation page lists articles associated with the same or a similar title.
Mizar is
- In astronomy: [r]: The star ζ Ursae Majoris [e]
- With computers: [r]: A software package for automated verification of mathematical definitions and proofs. [e]