Galeri awam

Jalankan diterbitkan, termasuk yang mana panel tidak boleh mencapai bar. Hasil itu adalah titik: formalisasi yang kernel Lean tolak memberitahu anda tepat langkah mana argumen tidak pernah dibenarkan.

paused
找到全部一致连续的整函数并证明
6 kriteria · 1 pusingan
paused
找到全部一致连续的整函数并证明
6 kriteria · 1 pusingan
Apa yang di sini

Tapak ini dibina untuk kerja deduktif: matematik murni dan terapan, logik, sains komputer teori, fizik teori dan teori ekonomi - tuntutan yang diputuskan oleh bukti bukannya eksperimen. Untuk soalan empirikal, di mana keputusan jujur adalah penemuan bukannya teorema, gunakan tapak saudara kami referee.chat.

Pergi ke referee.chat