languages/mizar library

Functions

mizar(Highlight hljs) → Mode
Highlight.js language definition for mizar.