Megrez Services

Registration form to Megrez services: Some services require authorized access or use personalized data. Registration is not required everywhere but registered users do not have to reenter data.
Mizar remote processing: All Mizar system tools are available here without instalation on your computer.
MML Query: Semantical searcher and browser through the MML.
Grep browser through JFM
Online proof-reading to FM: Bibliography Note form; Declaration for submission to the MML; Translation Pattern Editor form