Жамият галереяси

Панел барга етмаган жойлар ҳам қўшилган ҳолда чоп этилган ишга туширишлар. Бу натижанинг ўзи бир нарсани англатади: Lean ядроси рад этган формализация сизга қайси қадамда аргумент ҳеч қачон асосланмаганлигини аниқ айтади.

Бу ерга нима тегишли

Бу сайт дедуктив иш учун яратилган: тоза ва амалий математика, мантиқ, назарий компьютер фани, назарий физика ва иқтисодий назария - экспериментдан кўра исбот билан ҳал қилинадиган талаблар. Эмпирик саволлар учун, тўғри ҳукм теоремадан кўра топилма бўлганда, ўрнига бизнинг referee.chat сайтимизни фойдаланинг.

referee.chat-га ўтиш