Home
last modified time | relevance | path

Searched defs:proof (Results 1 – 2 of 2) sorted by relevance

/plugin/diagramsnet/lib/math/extensions/a11y/
Dmathjax-sre.js368 ….COMPFUNC&&(a.role=sre.SemanticAttr.Role.COMPFUNC)};sre.SemanticProcessor.proof=function(a,b,c){b=… function in sre.SemanticProcessor
369 sre.SemanticProcessor.prototype.proof=function(a,b,c){b.inference||b.axiom||console.log("Noise");if… method in sre.SemanticProcessor
/plugin/aichat/vendor/mehrab-wj/tiktoken-php/data/
Dencoder.json1 …-": 12, ".": 13, "/": 14, "0": 15, "1": 16, "2": 17, "3": 18, "4": 19, "5": 20, "6": 21, "7": 22, … number