Searched refs:Proof (Results 1 – 7 of 7) sorted by relevance
| /plugin/mizarproofchecker/ |
| D | README.md | 1 # Mizar Proof Checker Plugin for DokuWiki
8 [Mzar Proof Checker Plugin Docs](https://example.com/plugin:mizarproofchecker)
|
| /plugin/mizarverifiabledocs/src/ |
| H A D | mizar.grammar | 11 Proof {
34 Proof |
|
| H A D | mizar-parser.terms.js | 17 Proof = 15, constant
|
| H A D | script.js | 56 Proof: foldInside, property
75 Proof(context) { method
|
| /plugin/mizarveifiabledocs/ |
| D | README.md | 7 [Mzar Proof Verifiable Docs Plugin Docs](https:/www.dokuwiki.org/plugin:mizarverifiabledocs)
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js | 1 …ops:[hf,oi.add({DefinitionBlock:on,Proof:on,NowBlock:on,HerebyBlock:on})]}),hm=rj.define({parser:h… property
|
| H A D | script.js.map | 1 …Proof NowBlock HerebyBlock\",\n maxTerm: 25,\n propSources: [\n (0, $88d9d578e346fc59…
|