Հանրային պատկերասրահ
Հրապարակված ընթացքները, ներառյալ այն ընթացքները, որոնց դեպքում պրոցեսը չի հասել տուփին։ Այս արդյունքը կարևոր է, քանի որ Lean kernel-ը չի ընդունում ֆորմալացումը, որը ցույց է տալիս, թե որ քայլը չի արդարացվել։
Ի՞նչն է այստեղ պատկանում
Գնալ դեպի referee.chat