request for review: text/mizar
Paul Hoffman
phoffman at imc.org
Fri Jul 1 17:09:44 CEST 2011
I believe that you sent this to the wrong (old) address. Instead, please see <https://www.ietf.org/mailman/listinfo/ietf-types>
--Paul Hoffman
On Jun 30, 2011, at 5:02 AM, Jesse Alama wrote:
> Name : Jesse Alama
>
> Email : j.alama at fct.unl.pt
>
> MIME media type name : Text
>
> MIME subtype name : Standards Tree -mizar
>
> Required parameters : none
>
> Optional parameters :
> none
>
> Encoding considerations : 8bit
>
>
> Security considerations :
> none
>
> Interoperability considerations :
>
>
> Published specification :
> A. Grabowski, A. Kornilowicz, and A. Naumowicz, "Mizar in a Nutshell",
> Journal of Formalized Reasoning 3(2), 2010, pp. 153--245.
>
> Applications which use this media :
> The mizar suite of tools
>
> Additional information :
>
> 1. Magic number(s) : none
> 2. File extension(s) : .miz
> 3. Macintosh file type code : none
> 4. Object Identifiers: none
>
> The mizar language is a language for formalized mathematical documents.
> Authors use this langauge to express definitions of mathematical
> concepts, and express and proof formal mathematical statements. The
> language has been developed since the 1970s and today is used in
> teaching logic and mathematics in various high school and universty
> settings. The library of mathematical knowledge formalized in the mizar
> language, the Mizar Mathematical Library, consists (at the time of
> application) of more than 1100 "articles" which, like an ordinary
> mathematical article in a journal, are coherent presentations and
> developments of mathematics.
>
> Person to contact for further information :
>
> 1. Name : Jesse Alama
> 2. Email : j.alama at fct.unl.pt
>
> Intended usage : Common
> This media type is intended to be used by text editors and affiliated
> programs that read text (e.g., web browsers).
>
> Author/Change controller : Adam Naumowicz
> Association of Mizar Users
> sum at mizar.uwb.edu.pl
>
> --
> Jesse Alama
> http://centria.di.fct.unl.pt/~alama/
>
>
>
More information about the Ietf-types
mailing list