I have created ( based on Mizar syntax.txt available here) my Mizar.g4 antlr grammar file. Grammar in this shape is obviously implicit left recursive so wrong, and it is not finished as some tokens are not defined ( Symbol, fileName, Numeral etc.)….

Meanwhile I noticed that here is the newer version of the syntax so I have to rework this file as well…

If You, by accident, always dreamed about such gramma accessible – here it is!