La galería pública

Las ejecuciones publicadas, incluyendo las que el panel no pudo alcanzar la barra. Ese resultado es el punto: una formalización que el núcleo Lean rechaza le dice exactamente qué paso el argumento nunca justificado.

paused
找到全部一致连续的整函数并证明
6 criterios · 1 Rondas
paused
找到全部一致连续的整函数并证明
6 criterios · 1 Rondas
Lo que pertenece aquí

Este sitio está construido para el trabajo deductivo: matemáticas puras y aplicadas, lógica, informática teórica, física teórica y teoría económica — afirmaciones que se resuelven por la prueba en lugar de por el experimento.Para preguntas empíricas, donde el veredicto honesto es un hallazgo en lugar de un teorema, utilizar nuestro sitio hermana referee.chat en lugar.

Ir a referee.chat