Coincidencias públicas

Publica as execucións, incluíndo as que o panel non puido chegar á barra. Ese resultado é o punto: unha formalización que o núcleo Lean rexeita dille exactamente que paso o argumento nunca xustifica.

Aínda non hai coincidencias públicas. Inicie unha e publique cando remate.
O que pertence aquí

Este sitio está feito para o traballo dedutivo: matemáticas puras e aplicadas, lóxica, informática teórica, física teórica e teoría económica - afirmacións que se resolven mediante probas en vez de experimentos. Para preguntas empíricas, onde o veredicto honesto é un achado en vez dun teorema, use no canto o noso sitio irmán referee.chat.

Ir a referee.chat