Lean FRO ဆော့ဖ်ဝဲ ဒေါင်းလုဒ်

စာရင်းထဲတွင် Lean FRO ထုတ်ဝေသော Windows ပရိုဂရမ် ၂ ခု ရှိပါသည်။ နောက်ဆုံး အပ်ဒိတ်ဖြစ်သည်မှာ Lean 4.35.0 ဖြစ်ပါသည်။ · lean-fro.org