README.md
1# Mizar Verifiable Docs Plugin for DokuWiki
2
3This plugin allows users to embed Mizar article blocks within wiki pages, enabling them to edit and verify mathematical proofs directly. It provides syntax highlighting, error reporting, proof checking, and supports cross-referencing of other articles within the wiki for verifiable mathematical documentation.
4
5## Documentation
6For detailed information about installation, configuration, and usage, please visit:
7[Mzar Proof Verifiable Docs Plugin Docs](https:/www.dokuwiki.org/plugin:mizarverifiabledocs)
8
9## Installation
10Refer to the **Documentation** above for detailed installation instructions.
11
12### Manual Installation
13If you install this plugin manually, make sure it is installed in:
14`lib/plugins/mizarverifiabledocs/`
15If the folder is named differently, it will not work.
16
17## License
18This plugin is released under the MIT License. See the LICENSE file for details.
19