Searched refs:mizar (Results 1 – 12 of 12) sorted by relevance
| /plugin/mizarveifiabledocs/ |
| D | plugin.info.txt | 3 email yamadam@mizar.work
|
| D | style.css | 4 * @author Yamada, M. <yamadam@mizar.work>
|
| /plugin/mizarverifiabledocs/ |
| H A D | plugin.info.txt | 3 email yamadam@mizar.work
|
| H A D | style.css | 4 * @author Yamada, M. <yamadam@mizar.work>
|
| /plugin/mizarproofchecker/ |
| D | plugin.info.txt | 3 email yamadam@mizar.work
|
| D | style.css | 4 * @author Yamada, M. <yamadam@mizar.work>
|
| /plugin/dokuprism/prism/ |
| D | prism.css | 2 …isp+livescript+lolcode+lua+makefile+markdown+markup-templating+matlab+mel+mizar+monkey+moonscript+…
|
| D | prism.js | 111 Prism.languages.mizar={comment:/::.+/,keyword:/@proof\b|\b(?:according|aggregate|all|and|antonym|ar…
|
| /plugin/mizarverifiabledocs/src/ |
| H A D | script.js | 99 export function mizar() { function
|
| /plugin/mizarveifiabledocs/dist/ |
| D | script.js.map | 1 …mizar-parser.js","node_modules/@lezer/lr/dist/index.js","node_modules/process/browser.js","src/hig…
|
| /plugin/mizarproofchecker/dist/ |
| D | script.js.map | 1 …mizar-parser.js","node_modules/@lezer/lr/dist/index.js","node_modules/process/browser.js","src/hig…
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js.map | 1 …mizar-parser.js","node_modules/@lezer/lr/dist/index.js","src/highlight.js"],"sourcesContent":["(()…
|