lean4leanprover
جديدLean 4 هي لغة برمجة ومثبت نظريات للتحقق الرسمي، والبرمجة الوظيفية، وتطوير الأدلة التفاعلية.
OPEN SOURCE, OPEN TO EVERYONE
مصدر مفتوح. آفاق جديدة.
اكتشف مشاريع مفتوحة المصدر عالية الجودة، وأرسل المشاريع بشكل مجهول، وطالب بمشروعك المفتوح المصدر وحرّره.
✳اختيار بشري · اكتشف مصادر مفتوحة جيدة4109تم اكتشافها
فضول صغير. عالم من المصادر المفتوحة.
THE FIRST COLLECTIONTopic: lean4清除