Mizar is a programming language created in 1973 by Andrzej Trybulec.
| #1892on PLDB | 52Years Old |
The Mizar Language is a formal language derived from the mathematical vernacular. The principle idea of its author was to design a language readable for mathematicians and, simultaneously, sufficiently rigorous to enable processing and verifying by computer software. A script written according to the Mizar Syntax is called a Mizar Article.
environ
vocabularies ARYTM, XCMPLX_0;
constructors ARYTM_0, XCMPLX_0;
notations ORDINAL1, NUMBERS, ARYTM_0, XCMPLX_0;
requirements ARITHM, BOOLE;
registrations ORDINAL1, XCMPLX_0;
begin
for k being complex number holds k + 0 = k;