Corrispondenze pubbliche
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.
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