run npm install to generate a package lock

node_modules/highlight.js/es/languages/mizar.js

@@ -0,0 +1,27 @@
+/*
+Language: Mizar
+Description: The Mizar Language is a formal language derived from the mathematical vernacular.
+Author: Kelley van Evert <kelleyvanevert@gmail.com>
+Website: http://mizar.org/language/
+Category: scientific
+*/
+
+function mizar(hljs) {
+  return {
+    name: 'Mizar',
+    keywords:
+      'environ vocabularies notations constructors definitions '
+      + 'registrations theorems schemes requirements begin end definition '
+      + 'registration cluster existence pred func defpred deffunc theorem '
+      + 'proof let take assume then thus hence ex for st holds consider '
+      + 'reconsider such that and in provided of as from be being by means '
+      + 'equals implies iff redefine define now not or attr is mode '
+      + 'suppose per cases set thesis contradiction scheme reserve struct '
+      + 'correctness compatibility coherence symmetry assymetry '
+      + 'reflexivity irreflexivity connectedness uniqueness commutativity '
+      + 'idempotence involutiveness projectivity',
+    contains: [ hljs.COMMENT('::', '$') ]
+  };
+}
+
+export { mizar as default };