Àwọn Àwọn Ìgúnrégé

Theorem.chat ni a nṣe nípa Muddy Holdings LLC (wa, wa). Nípa lórí iṣẹ́ yìí o tì gba àwọn àṣẹ̀ yìí.

1. Ohun tí iṣẹ́ náà ń ṣe

O ti fi ẹ̀yàn kọ́ọ̀kan pamọ́, àti àwọn ìṣàmúlò-ètò. A tí rọ́ọ̀nù ò nínú pánẹ́ẹ̀lì àwọn módè̀lì AI tí o tí yan, àti módè̀lì ẹ̀yàn tí o tí n pàṣẹ̀ nípa àwọn ìṣàmúlò-ètò ìyànṣẹ́, àti a tí n gbiyanju láti fi àwọn ààtò̀ pamọ́ nínú Lean 4 lórí Mathlib. Àtòjọ-ẹ̀yàn ní a kọ́ọ̀kan, àwọn à

2. Ohun ti àwọn àkóónú àti àwọn àkóónú àti àwọn àkóónú

Àwọn àkóónú ní pàtó nípa àwọn módè́lì AI tí a fi hàn nípa àwọn ẹ̀yàn kẹtà nípa àwọn ìṣàmúlò-ètò. O ko jẹ ofin, itọju, owo, injenieri tabi imọran iṣẹ ti iru eyikeyi, ati pe ko si ibatan iṣẹ ti a ṣẹda nipa lilo iṣẹ yii.

The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. You must independently verify anything you intend to rely on, particularly before publishing it, submitting it, or acting on it. This is a tool for pressure-testing work, not a substitute for qualified human review.

Àwọn àwọn ààyè-iṣẹ́ Lean tí a tí ṣẹ́ṣẹ́ nínú ójútó Lean nínú ojú́tọ́ nínú ojú́tọ́ nínú ojú́tọ́ nínú ojú́tọ́ nínú ojú́tọ́, nínú ìṣàfarawégbèsì Mathlib tí a lo nínú ojú́tọ́. O kò tumọ̀ pe àwọn ààyè-iṣẹ́ náà ní ìtumọ̀ tí o bá beerè lọwọ rẹ̀, àti àwọn ààyè-iṣẹ́ tí a bá yan tí kò bá sọ ohun tí o bá fẹ́ nínú ojú́tọ́. Ka àwọn ààyè-iṣẹ́ tí a bá ṣẹ́ṣẹ̀, kò nínú ojú́tọ́.

Àwọn Àkọlé Rẹ̀

You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.

Matches ní àìdárà àìdárà. Tó bá ṣé àkànṣe match àwọn aládùrò, ò lè rí síì fún ẹnikẹni tí o ní líǹkì náà, àti àwọn tí a bá lè rí nínú àwọn aládùrò wà. Kò fi match pamọ́ láti jẹ́ ohunkohun tí a bá fẹ́.

Kò fi àwọn àkóónú àìdárà àìdárá.

Àwọn Ìṣàmúlò-ètò

Àwọn ẹ̀yàn ní a fí gbàyé àti àwọn aagó ní pàtó bí matches ṣe ń lọ. match gbogbo ní àwọn ààyè ìgbà tí o fi pàtó; tí o bá bá a, o tì pa match lọ́wọ́lọ́wọ́. Àwọn àwọn ìpamọ́ kò lè yipada, àti, láti inú àwọn à

Tó bá jẹ́ pé o tí sopọ̀ bọ́tìnì ìṣàmúlò-ètò rẹ̀, o lè sań owó rẹ̀ láti inú àwọn ààyè-iṣẹ́ rẹ̀, àti àwọn ààyè-iṣẹ́ rẹ̀. Àwọn àwọn à

A lè yipada àwọn

Ìlò àwọn ààyè-iṣẹ́

Kò ló iṣẹ́ náà láti ṣẹ̀dà àwọn àkọ́lé tí wọ́n sàyé àwọn mìíràn, láti àyàtò láti gba àwọn àkóónú wà tàbí àwọn ìṣẹ̀dá sísítì, láti gbọ́dọ̀ àwọn àwọn ìgbàra-ọ̀nà àti àwọn ìgbàra-ọ̀nà, tàbí láti ráwọ́ àwọn ààyè láti inú àwọn ààyè àwọn mìíràn láti inú àwọn ààyè àwọn mìíràn. Àtòjọ-ẹ̀yàn ìṣàmúlò-ètò kọ́dì ní fún ìṣàfihàn àwọn àṣẹ; kò lò láti dáwọ́ láti dáwọ́ sí àwọn sísítì.

Àwọn Ìṣàmúlò-ètò

A dájú àwọn ìṣàfihàn àwọn ààyè-iṣẹ́ àwọn ìṣàmúlò-ètò. Àwọn ìṣàfihàn náà tí wọ́n lọ́wọ́lọ́wọ́, tí wọ́n yipada àwọn ìṣàfihàn, tí wọ́n si dẹ́kun ló. match tí a tí pàtó fún àwọn ààyè-iṣẹ́ wò nípa àwọn àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò nípa àwọn ààyè-iṣẹ́ wò ni

Àwọn Ìṣàmúlò-ètò

Nínú àwọn ìpele tí a ti gbàyé nípa àwọn ìṣẹ̀dá, iṣẹ́ náà ní a fi hàn bí a tí wa nípa àwọn à

Ìparí

O lè dá àwọn à

9. Àwọn ìyipada, àwọn ìṣàmúlò-ètò àti àwọn ìṣàmúlò-ètò

A lè fi àwọn ofin yìí pamọ́; àwọn ìyipadà ìṣàfarawé nínú sáà náà.

Àwọn ìtumọ̀ ojú-ìwé yìí tí a fi fun ìrànwọ́ nípa àwọn ìtumọ̀ tí a ṣe nípa ìṣàfarawé. Àwọn ìtumọ̀ tí a fi pamọ́ nípa àwọn ìtumọ̀ tí a fi pamọ́ nípa àwọn ìtumọ̀ tí a fi pamọ́.

Àwọn Àtòjọ-ẹ̀yàn Àwọn Àkọ́lé.