Mizar (software)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (new) |
imported>Peter Schmitt m (Mizar/Related Articles moved to Mizar (software)/Related Articles: disambig) |
(No difference)
| |
Revision as of 18:06, 29 January 2010
- See also changes related to Mizar (software), or pages that link to Mizar (software) or to this page or whose text contains "Mizar (software)".
Parent topics
- Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [e]
- Computer proof [r]: Add brief definition or description