Mizar (software)/Related Articles
Jump to navigation Jump to search
- See also changes related to Mizar (software), or pages that link to Mizar (software) or to this page or whose text .
- Proof (mathematics) : A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions.
- Computer proof : Add brief definition or description