The 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.
|