A nyilvános galéria

A közzétett futások, beleértve azokat is, ahol a panel nem érheti el a sávot. Ez a lényeg: a Lean rendszermag visszautasítja a formalizálást, pontosan azt mondja meg, hogy melyik lépés az érv soha nem indokolt.

Ami ide tartozik

Ez a webhely a deduktív munkákhoz épült: tiszta és alkalmazott matematika, logika, elméleti számítástechnika, elméleti fizika és gazdasági elmélet • azt állítja, hogy rendezték bizonyíték helyett kísérlet. Empimentális kérdések, ahol az őszinte ítélet egy megállapítás, nem pedig elmélet, használja a nővér oldalunk referee.chat helyett.

Menj referee.chat-re.