Հանրային համապատասխանություն
Հրապարակված ընթացքները, ներառյալ այն ընթացքները, որոնց դեպքում պրոցեսը չի հասել տուփին։ Այս արդյունքը կարևոր է, քանի որ Lean kernel-ը չի ընդունում ֆորմալացումը, որը ցույց է տալիս, թե որ քայլը չի արդարացվել։
Ի՞նչն է այստեղ պատկանում
Այս կայքը ստեղծված է եզրակացական աշխատանքի համար՝ մաքուր և կիրառական մաթեմատիկա, տրամաբանություն, տեսական համակարգչային գիտություն, տեսական ֆիզիկա և տնտեսական տեսություն — այնպիսի թեզեր, որոնք լուծվում են ապացույցներով, այլ ոչ թե փորձարկումներով։ Եմպիրիկ հարցերի համար, որտեղ արդար դատավճիռը պարզաբանում է, այլ ոչ թե թեորեմ, օգտագործեք մեր քույր կայքը referee.chat։
Գնալ դեպի referee.chat