INDEX
Explanations
mathematical symbols and expressions related to propositions, assumptions, and proofs in a formal context
Punctuation followed by discourse markers
conclusion from symbols
New Auto-Interp
Negative Logits
itſelf
-0.72
PublicKey
-0.62
greateſt
-0.62
CPtr
-0.60
WebMethod
-0.59
WriteAttribute
-0.58
Theſe
-0.57
venske
-0.57
myſelf
-0.57
palli
-0.57
POSITIVE LOGITS
conclude
0.73
conclure
0.66
conclu
0.65
by
0.65
suy
0.64
whence
0.62
lại
0.61
又
0.60
concluir
0.60
since
0.58
Activations Density 1.092%