Coincidencias públicas
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.
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