Name Date Size #Lines LOC

..--

conf/H13-Sep-2025-2710

dist/H13-Sep-2025-75

lang/H13-Sep-2025-228

script/H13-Sep-2025-237157

src/H13-Sep-2025-1,057878

.gitattributesH A D13-Sep-2025317 1310

.gitignoreH A D13-Sep-202540 33

README.mdH A D13-Sep-20251 KiB1913

action.phpH A D13-Sep-202518.2 KiB467362

package-lock.jsonH A D13-Sep-2025104.6 KiB3,1793,178

package.jsonH A D13-Sep-2025570 2322

plugin.info.txtH A D13-Sep-2025257 87

requirements.txtH A D13-Sep-202559 54

script.jsH A D13-Sep-20256.5 KiB154121

style.cssH A D13-Sep-20253.2 KiB182154

syntax.phpH A D13-Sep-20253.4 KiB7656

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 dynamically verifiable documentation of mathmatics.
4
5## Documentation
6For detailed information about installation, configuration, and usage, please visit the [Mizar Verifiable Docs Plugin Docs](https://www.dokuwiki.org/plugin:mizarverifiabledocs).
7Usage examples are also available on our [DokuWiki page](https://www.mizar.work/dokuwiki/doku.php?id=start).
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