La galleria pubblica

E' pubblicato, incluso quello in cui il pannello non è riuscito a raggiungere la barra. Questo è il punto: una formalizzazione che il kernel Lean rifiuta ti dice esattamente quale passo l'argomento non è mai giustificato.

paused
找到全部一致连续的整函数并证明
6 criteri · 1 giri
paused
找到全部一致连续的整函数并证明
6 criteri · 1 giri
Quello che deve stare qui.

This site is built for deductive work: pure and applied mathematics, logic, theoretical computer science, theoretical physics and economic theory — claims that are settled by proof rather than by experiment. For empirical questions, where the honest verdict is a finding rather than a theorem, use our sister site referee.chat instead.

Vai a referee.chat