ئومۇمىي مەشغۇلاتلار

ئېلان قىلىنغان ئىجرا قىلىشلار، پانەل بارغا يېتەلمىگەن ئىجرا قىلىشلارمۇ بار. بۇ نەتىجىلەر ئاساسىي نۇقتىغا ئايلىنىدۇ: Lean kernel نىڭ رەت قىلغان رەسمىيلەشتۈرۈش سىلەرگە ئارگومىننىڭ قانچىلىك قەدەمنى قانچىلىك ۋاقىت ئىچىدە ئىجرا قىلىدىغانلىقىنى ئېيتىدۇ.

بۇ يەرگە نېمە تەۋە؟

بۇ تور بېكەت مۇستەقىل ۋە ئىشلىتىلگەن ماتېماتىكا، ماتېماتىكا، تەتقىقات كومپيۇتېر ئىلمى، تەتقىقات فىزىكا ۋە ئىقتىساد تەتقىقاتى قاتارلىقلار ئۈچۈن ياسالغان. بۇلار تەجرىبىلىك ئەمەس، بەلكى ئىسپاتلاش ئارقىلىق ھەل قىلىنىدۇ. تەجرىبىلىك سوئاللار ئۈچۈن، تەجرىبىلىك تېورىيە ئەمەس، بەلكى ئىزاھلىق تېورىيە ئىشلىتىلىدۇ. بۇ تور بېكەت referee.chat تور بېكىتىنى ئىشلىتىدۇ.

referee.chat-نومۇرغا ئۆتۈش