header
Lean
Lean هي لغة برمجة مكتوبة بشكل معتمد وإثبات النظرية.