Галереяи умумӣ

Иҷрои нашршуда, аз ҷумлаи онҳое, ки панел ба пайраҳа нарасидааст. Ин натиҷа нуқтаи: формализатсияи ядрои Lean рад мекунад ба шумо аниқ мегӯяд, ки кадом қадами аргумент ҳеҷ гоҳ асоснок карда нашудааст.

Чӣ дар ин ҷо

Ин пойгоҳ барои корҳои дедуктивӣ сохта шудааст: математикаи тоза ва татбиқшуда, мантиқ, назарияи компютерӣ, физикаи назариявӣ ва назарияи иқтисодӣ - талаботҳое, ки бо исбот ба ҷои таҷриба ҳал карда мешаванд. Барои саволҳои эмпирӣ, ки дар он ҳукми ростқавл ба ҷои теорема як кашф аст, дар ҷои он пойгоҳи хоҳар referee.chat- ро истифода баред.

Гузаштан ба referee.chat