Mizar (software)/Definition: Difference between revisions

Latest revision as of 18:20, 29 January 2010

Citable Version ^[?]

A definition or brief description of Mizar (software).

A software package for automated verification of mathematical definitions and proofs.

Revision as of 18:06, 29 January 2010 (view source) imported>Peter Schmitt m (Mizar/Definition moved to Mizar (software)/Definition: disambig) ← Older edit		Latest revision as of 18:20, 29 January 2010 (view source) imported>Peter Schmitt (removed: hardware (???))
Line 1:		Line 1:
	<noinclude>{{Subpages}}</noinclude>		<noinclude>{{Subpages}}</noinclude>
	A ~~group of hardware and~~ software ~~tools~~ for automated verification of mathematical definitions and proofs.		A software package for automated verification of mathematical definitions and proofs.