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

Àwọn àwọn ìṣàmúlò-ètò ìṣàmúlò-ètò tí a lò fún sáà kékeré. Lò ní ìfẹ̀sì rere, àti àwọn ohun mìíràn kò lè jẹ́ àwọn àwọn ìṣàmúlò-ètò yìí.

1. Àwọn

An account is a username and a password. An email address is optional and used only to reset a forgotten password. Tí kò bá jẹ́ bẹ́ẹ̀, àmì-àṣírí tí a tì gbagbe nínúnà. Ó jẹ́ àwọn ohun tí o bá ṣẹlẹ̀ nínú àwọn à

2. Ohun ti o fi pamọ́

Ò ní ìpàlẹ̀ àwọn ohun tí o kọ̀. Nípá ìṣàfihàn, ò náà gbá wa ní ìṣẹ̀dà àìdáràn àìdáràn láti fi hàn àwọn ààyè yìí níbẹ̀ náà àti nínú àwọn ìṣàfihàn àti àwọn ààyè àìdáràn sáà. Àwọn ìṣàfihàn àti àwọn ìṣàfihàn àìdáràn wọn ní àwọn aládápó.

3. Ìṣàmúlò-ètò àwọn àmì-ìwé

Àwọn àkọ́lé nínú àwọn ààyè tí a tí fi pamọ́ ló ń lọ nínú àwọn sáàbálẹ̀ wa nínú àwọn ààyè àwọn ààyè àwọn ààyè. Ó lè ma lò láti dáwọ́ lóòlù àwọn ààyè àwọn ààyè náà tàbí ohunkohun mìíràn, àwọn kọnputá, àwọn ààyè àwọn àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè àwọn ààyè, àwọn ààyè

4. Àwọn àwọn ààyè-iṣẹ́

Every account gets a monthly allowance of tool time at no charge. Beyond it you may buy prepaid credit, which is spent at the rate shown on the ojú-ìwé àwọn ìṣàmúlò-ètò. Àwọn ìṣàmúlò-ètò kò kù nípa àwọn ìṣàmúlò-ètò àti àwọn ìṣàmúlò-ètò. Àwọn ìṣàmúlò-ètò tí a kò bá jẹ́ àwọn ìṣàmúlò-ètò rẹ̀: àwọn ìṣàmúlò-ètò náà tí a fi pamọ́ láti fi àwọn ìṣàmúlò-ètò rẹ̀ pamọ́.

5. Àwọn ìṣàmúlò-ètò

Tí ìṣàmúlò-ètò bá kù nípa àwọn àwọn àkóónú nínú ààyè wà, àwọn ìṣàmúlò-ètò kò bá jẹ́ àwọn àwọn ààyè. Fún ohunkohun mìíràn, beere lọwọ: Ó lè gbá owó tí a kò lò nínú ọjọ́ 30 tí a tí rá.

6. Àwọn ohun ti àmì-ìwé náà tumọ̀, àti àwọn ohun tí kò tumọ̀

∎ tumọ̀ pé kernel Lean gbá ìṣàfihàn tí a fi pamọ́ láti pẹ̀lú Mathlib látí kò sorry, no new axiom and no skipped type-checking. That is a strong statement about the Lean file and a weaker one about the world: it does not certify that the formal statement says what its author claims in English. Nothing here is a warranty of mathematical correctness, and results from this site are provided as-is.

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

Kò ní ìgbàjẹ, kó ní àìpàlẹ̀, kó ní àwọn àgbègbè àìpàlẹ̀. A lè yọ àwọn àkọ́lé kurò àti pà àwọn à

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

Àwọn iṣẹ́ náà ní pàtó láti fi àwọn ìṣàmúlò-ètò pamọ́. Àwọn ààyè-iṣẹ́ náà kù; nigba tí wọn bá ṣè ní ààyè-iṣẹ́ náà sọ̀rọ̀ nípa ojú-ìwé ìṣàmúlò-ètò bí a tí n sọ̀rọ̀ àwọn ìṣàmúlò-ètò tí a kò lè.

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

Ninu ibi ti ofin ti gba, a ni ẹtọ fun eyikeyi ẹtọ ti o ni ibatan si iṣẹ yii ni a ti dapọ si iye ti o fi wa pamọ ni awọn oṣu mẹfa ṣaaju ki o to waye.

10. Àwọn Ìyítumọ̀

We may update these terms; material changes will be announced on the site. Continuing to use it after that means you accept the revised terms.

Àwọn Àtòjọ-ẹ̀yàn.