A galeria pública

As corredas publicadas, incluindo as em que o painel não conseguiu chegar à barra. Esse resultado é o ponto: uma formalização o kernel Lean recusa-se diz-lhe exatamente qual passo o argumento nunca justificado.

O que é que pertence aqui

Este site é construído para trabalho dedutivo: matemática pura e aplicada, lógica, informática teórica, física teórica e teoria econômica — afirmações que são resolvidas por prova e não por experiência. Para questões empíricas, onde o veredicto honesto é um achado em vez de um teorema, use o nosso site irmã referee.chat em vez.

Vai para referee.chat