Halk galerisi

Yayınlanan çalışmalar, panelin bar'a ulaşamaması da dahil olmak üzere. Bu sonuç noktadır: Lean çekirdeğinin reddettiği bir resmileştirme size argümanın hiçbir zaman haklı çıkamayan adımını tam olarak söyler.

Neye ait?

Bu site, çıkarımsal çalışmalar için inşa edilmiştir: saf ve uygulamalı matematik, mantık, teorik bilgisayar bilimi, teorik fizik ve ekonomik teori - deney yerine kanıtla çözülen iddialar. Deneysel sorular için, dürüst kararların bir teorem yerine bir bulgu olduğu yerlerde, kardeş sitemiz referee.chat'i kullanın.

referee.chat'e git.