The Halmos community

Àwọn ìṣàfihàn tí o lè kọ̀ ní pàtó.

Wá àwọn àkọlé ní àwọn ìṣàmúlò-ètò tí a yàn láti inú kernel Lean.

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

0 Àwọn àkọlé

Kò ní àwọn àkọlé nínú àwọn ààyè-iṣẹ́ yìí.

O lè jẹ́ pé o tí wa nínú àwọn àwọn ààtò àtòjọ-ẹ̀yàn.
Wá gbogbo àkókò

Àwọn ìwé-ìwé ní pàpọ̀

Ààyè fún rẹ̀
Ìfẹ́ ìṣàfarawé mathematiki.

Lati ibeere akọkọ si ifihan ti a ti pari. O ni ààyè fun àwọn àwòrán rẹ níbẹ̀.

Ṣàfikún Àwọn Àkọsílẹ̀ Orúkọ òǹlò náà àti àmì-àṣírí.

Àwọn ìṣàmúlò-ètò ìjọbá

Díẹ̀ jú àgbègbè kan lọ

Fi àwọn ìṣàmúlò-ètò Lean àti àwọn ìṣàmúlò-ètò tí a fi pamọ́ sínú. Rọ́ọ̀nù ìṣàmúlò-ètò àti ìpàpọ̀ àwọn àtòjọ-ẹ̀yàn rẹ̀.

LeanSagePARI/GPZ3Python

Wó bí o ṣe n ṣiṣẹ́

Àwọn àwọnWá Àwọn Àkọ́gbègbè →

Àwọn ìṣàfihàn tí o lè kọ̀ ní pàtó.

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

Kò ní àwọn àkọlé nínú àwọn ààyè-iṣẹ́ yìí.

Ṣàfikún àkọlé.

Fi àwọn ìrànwọ́ pamọ́ sí wa