Mizar (software)/Definition: Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen (started; needs checking by expert) |
imported>Peter Schmitt (removed: hardware (???)) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
<noinclude>{{Subpages}}</noinclude> | <noinclude>{{Subpages}}</noinclude> | ||
A | A software package for automated verification of mathematical definitions and proofs. |
Latest revision as of 19:20, 29 January 2010
A software package for automated verification of mathematical definitions and proofs.