1# Mizar Proof Checker Plugin for DokuWiki
2
3This 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.
4
5
6## Documentation
7For detailed information about installation, configuration, and usage, please visit:
8[Mzar Proof Checker Plugin Docs](https://example.com/plugin:mizarproofchecker)
9
10## Installation
11Refer to the **Documentation** above for detailed installation instructions.
12
13### Manual Installation
14If you install this plugin manually, make sure it is installed in:
15`lib/plugins/mizarproofchecker/`
16If the folder is named differently, it will not work.
17
18## License
19This plugin is released under the MIT License. See the LICENSE file for details.
20