Public Match

Verëffentlecht Ausféierungen, dorënner déi, wou d'Panel d'Bar net erreeche konnt. Dat Resultat ass de Punkt: eng Formaliséierung déi de Lean Kernel refuséiert, seet Iech genau, wéi en Schrëtt d'Argument ni justifiéiert huet.

Wat dobäi kënnt

Dës Säit ass fir deduktiv Aarbecht gebaut: reine an ugewandte Mathematik, Logik, theoretesch Informatik, theoretesch Physik an ekonomesch Theorie - Behauptungen déi duerch Beweis statt duerch Experiment geléist ginn. Fir empirisch Froen, wou d' eescht Verdäitlechkeet eng Entdeckung ass an net e Theorem, benotzt eis Schwëstersäit referee.chat.

Zuel referee.chat