INDEX
    Explanations

    formal statements and results in mathematical writing

    Mathematical definitions and theorems

    mathematical theorems and definitions

    New Auto-Interp
    Negative Logits
     jadx
    -0.71
    awtextra
    -0.61
     NSCoder
    -0.59
    ValueStyle
    -0.58
    TagHelper
    -0.58
    Jeografia
    -0.58
    
    
    -0.57
    出版年
    -0.56
     BoxDecoration
    -0.54
    addCriterion
    -0.53
    POSITIVE LOGITS
    Definition
    0.73
    DEFINITION
    0.72
     definition
    0.71
    definition
    0.70
     Definition
    0.64
     theorem
    0.63
     Theorem
    0.62
     Lemma
    0.59
     DEFINITION
    0.56
    boutin
    0.56
    Act Density 0.785%

    No Known Activations