Galeria publike

Publikimi i provave, duke përfshirë ato ku paneli nuk arriti të arrijë barrën. Kjo përfundim është pika: një formalizim që Lean kernel refuzon të të thotë saktësisht se cili hap argumenti nuk është justifikuar kurrë.

Çfarë i përket këtu

Ky faqe është ndërtuar për punë deduktive: matematikë e pastër dhe e aplikuar, logjikë, shkenca teorike kompjuterike, fizikë teorike dhe teori ekonomike - pretendime që zgjidhen me prova në vend të eksperimenteve. Për pyetje empirike, ku verdikti i ndershëm është një gjetje në vend të një teorema, përdore në vend të saj faqen tonë motër referee.chat.

Shko tek referee.chat