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

MML Query 3 windows interface

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.68.1412
- most important facts (other collection)

MML links

Monographs

Conference MKM2004
Workshop 30 years of Mizar

Template: explore-query.mqt

Grzegorz Bancerek: bancerek (at) mizar.org