အများသုံး ချိန်းတွေ့မှုများ
ထုတ်ဝေ runs, panel ကိုဘားရောက်ရှိနိုင်ခဲ့သူတွေကိုအပါအဝင်. ထိုရလဒ်ကိုအချက်ဖြစ်ပါသည်: Lean kernel ကငြင်းပယ် formalization မှန်ကန်စွာအဘယ်အဆင့်ကိုအငြင်းပွားမှုမကြာခဏ justified သင်တို့ကိုပြောပါတယ်.
ဒီမှာရှိတာဘာလဲ
referee.chat သို့သွားပါ