# Mizar Proof Checker Plugin for DokuWiki This plugin integrates the Mizar proof verification system into DokuWiki, enabling users to edit and verify mathematical proofs directly within wiki pages. It provides syntax highlighting, error reporting, proof checking, and allows cross-referencing of other articles within the wiki for seamless mathematical documentation and collaboration. ## Documentation For detailed information about installation, configuration, and usage, please visit: [Mzar Proof Checker Plugin Docs](https://example.com/plugin:mizarproofchecker) ## Installation Refer to the **Documentation** above for detailed installation instructions. ### Manual Installation If you install this plugin manually, make sure it is installed in: `lib/plugins/mizarproofchecker/` If the folder is named differently, it will not work. ## License This plugin is released under the MIT License. See the LICENSE file for details.