عامې لوبې

خپره روان، په شمول د هغوی چې د کمېسيون نه شي کولای د بار ته ورسيږي. چې پایله ده چې د ټکي: د formalization د Lean kernel نه مني تاسو ته په سمه توګه چې کوم ګام د استدلال هیڅکله د توجیه.

.هېڅ عام برابرونه نه شته. يو پېل کړئ او خپره يې کړئ کله چې پای ته ورسېږي
دلته څه دي

دا سایټ د استنباطي کار لپاره جوړ شوی: خالص او پلي شوي ریاضیات، منطق، نظري کمپیوټر ساینس، نظري فزیک او اقتصادي تیوري - ادعاوې چې د تجربې پرځای د ثبوت په واسطه حل شوي. د تجربوي پوښتنو لپاره، چیرې چې د صادقانه حکم د تیورم پرځای یو موندنه ده، زموږ د خویندې سایټ referee.chat په ځای وکاروئ.

ته ورتلل referee.chat