Home
last modified time | relevance | path

Searched refs:proof (Results 1 – 25 of 27) sorted by relevance

12

/plugin/elasticsearch/vendor/elasticsearch/elasticsearch/.ci/
Dmake.sh155 proof=`ls ${output_folder}`
157 if [ $proof == "${artefact_name}.tar.gz" ]; then
/plugin/mizarproofchecker/
DREADME.md3 …proof verification system into DokuWiki, enabling users to edit and verify mathematical proofs dir…
Dplugin.info.txt5 name Mizar proof checker
Dstyle.css2 * Mizar proof checker plugin styles
/plugin/mizarveifiabledocs/
Dplugin.info.txt6 desc Provides proof-verifiable mathematical documentation by Mizar
DREADME.md3 …atical proofs directly. It provides syntax highlighting, error reporting, proof checking, and supp…
/plugin/mizarverifiabledocs/
DREADME.md3 …atical proofs directly. It provides syntax highlighting, error reporting, proof checking, and supp…
/plugin/asciidocjs/node_modules/is-buffer/
DREADME.md23 It's future-proof and works in node too!
/plugin/findologicxmlexport/vendor/jms/metadata/
DCONTRIBUTING.md6 These guidelines exist not to annoy you, but to keep the code base clean, unified and future proof.
/plugin/findologicxmlexport/vendor/jms/serializer/
DCONTRIBUTING.md6 These guidelines exist not to annoy you, but to keep the code base clean, unified and future proof.
/plugin/bible/bible_douayRheims/
DPhilippians.txt52 …2:22. Now know ye the proof of him: that as a son with the father, so hath he served with me in th…
D2_Corinthians.txt168 …9:13. By the proof of this ministry, glorifying God for the obedience of your confession unto the …
245 …13:3. Do you seek a proof of Christ that speaketh in me, who towards you is not weak, but is might…
DWisdom.txt419 …18:26. And to these the destroyer gave place, and was afraid of them: for the proof only of wrath …
D1_Kings.txt335 … servant to day: If this iniquity be in me, or in my son Jonathan, give a proof: or if this iniqui…
DGenesis.txt1165 …39:16. For a proof therefore of her fidelity, she kept the garment, and shewed it to her husband w…
/plugin/asciidocjs/node_modules/uglify-js/
DREADME.md117 By default UglifyJS will not try to be IE-proof.
145 By default UglifyJS will not try to be v8-proof.
151 By default UglifyJS will not try to be Safari-proof.
/plugin/asciidocjs/node_modules/pug-filters/node_modules/yargs/
DCHANGELOG.md295 …ies in package.json. Update test pathing to be more npm and require.paths future-proof (@indexzero)
/plugin/passpolicy/
Dwords.txt2760 proof
/plugin/asciidocjs/node_modules/pug-filters/node_modules/uglify-js/
DREADME.md72 By default UglifyJS will not try to be IE-proof.
/plugin/diagramsnet/lib/math/extensions/a11y/
Dmathjax-sre.js368 ….SemanticProcessor.proof=function(a,b,c){b=sre.SemanticProcessor.separateSemantics(b);return sre.S… function in sre.SemanticProcessor
369 …proof=function(a,b,c){b.inference||b.axiom||console.log("Noise");if(b.axiom)return b=this.cleanInf… method in sre.SemanticProcessor
381 …ttribute("semantics");if(c&&c.match("bspr_"))return sre.SemanticProcessor.proof(a,c,goog.bind(this…
384 …ttribute("semantics");if(c&&c.match("bspr_"))return sre.SemanticProcessor.proof(a,c,goog.bind(this…
/plugin/saml/phpsaml/
DREADME.md251 Locale folder contains some translations: `en_US` and `es_ES` as a proof of concept.
/plugin/adfs/phpsaml/
DREADME.md251 Locale folder contains some translations: `en_US` and `es_ES` as a proof of concept.
/plugin/tuxquote/
Dquotes.txt80 Nothing is fool proof to a sufficiently talented fool.
204 … proving that there is no need to do so, almost everyone gets busy on the proof. <BR> -- John K. G…
677 Science has proof without any certainty. Creationists have certainty without any proof. <BR> -- Ash…
1491 The pug is living proof that God has a sense of humor. <BR> -- Margot Kaufman, American writer
2762 I was working on the proof of one of my poems all the morning, and took out a comma. In the afterno…
3828 Make it idiot proof and someone will make a better idiot.
3931 This website may not be idiot proof, but at least it's dimwit resistant.
/plugin/combo/resources/library/bootstrap/4.5.0/
Dbootstrap.16col.min.css.map1 …proof rule: in browsers that support :focus-visible, suppress the focus outline\n// on elements th…
/plugin/aichat/vendor/mehrab-wj/tiktoken-php/data/
Dvocab.bpe34904 Ġwater proof
38943 Ġproof s

12