Galeri umum

Diterbitkan berjalan, termasuk yang mana panel tidak dapat mencapai bar. Hasil itu adalah titik: sebuah formalisasi kernel Lean menolak memberitahu Anda persis mana langkah argumen tidak pernah dibenarkan.

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

Situs ini dibangun untuk pekerjaan deduktif: murni dan diterapkan matematika, logika, teori komputer teoritis teori fisika dan ekonomi klaim yang diselesaikan oleh bukti daripada oleh percobaan pertanyaan empiris, di mana putusan jujur adalah menemukan daripada teorema, menggunakan situs adik kami referee.chat sebagai gantinya.

Pergi ke referee.chat