Die öffentliche Galerie

Veröffentlichte läuft, einschließlich der, wo das Panel nicht erreichen konnte, die Bar. Dieses Ergebnis ist der Punkt: eine Formalisierung, die der Lean Kernel verweigert, sagt Ihnen genau, welchen Schritt das Argument nie gerechtfertigt.

Was hier gehört

Diese Seite ist für deduktive Arbeit gebaut: reine und angewandte Mathematik, Logik, theoretische Informatik, theoretische Physik und Wirtschaftstheorie – Ansprüche, die durch Beweis statt durch Experiment geklärt werden. Für empirische Fragen, wo das ehrliche Urteil ist ein Ergebnis statt ein Theorem, verwenden Sie unsere Schwester Website referee.chat statt.

Gehe zu referee.chat