MML Query

Mizar project at Bialystok Technical University
page generated with MMLQT (MML Query Transformation) tool
Mizar home, download
files: abstr, articles,
bin, doc, emacs gabs, fmbibs, gabs (more) semantic MML
Megrez
MML Query (beta)

Template maker
Environment explanation
Mizar TWiki
MML Query server
Megrez services
Journals:
   FM: MetaPRESS, server, proof-read, regeneration
   MM&A (preparation)

Syntax: xml, html
Downloads
Mizar syntax, xml, txt
MML 5.57.1355
- most important facts (other collection) MML links Monographs

Conference MKM2004
Workshop 30 years of Mizar
dydaktyka

Template: explore-query.mqt

Grzegorz Bancerek: bancerek (at) mizar.org