Is there an Atom plugin for Mizar formal language?


#1

Is there an Atom plugin for Mizar formal language:

http://www.mizar.org/

especially that recognizes the syntax highlights etc. If now what langauge should I use so that it colours things nicely?