Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Association of Mizar Users
ASSOCIATION OF
MIZAR
USERS
(in Polish: Stowarzyszenie Uzytkownikow Mizara, hence the acronym SUM)
SUM's aim is popularizing, propagating and promoting
the Mizar language. The means to realize
this aim are:
collecting and propagating studies on the
Mizar language,
providing instructions concerning the knowledge
and use of the Mizar language,
supporting efforts aiming at formalizing mathematics
in the Mizar language,
organizing and developing a library of articles in the
Mizar language
as well as its propagating,
carrying out research on the development of the
Mizar language
and on the extension of its domain of application.
In order to obtain the ordinary membership of
the SUM one must: