مكتبات مكتوبة بلغة Lean

لغة البرمجة Lean 4 ومثال النظرية.

مكتبة المكونات الرياضية العجاف.

عرض توضيحي لتوضيح نظرية النوع عالي الأداء.

تحقق بسيط من برامج الصدأ عن طريق التنقية الوظيفية في Lean 2 (!).

بناء الأعداد الطبيعية في العجاف..

جاري العمل في ميناء مثلب للهين 4.

💧 تجربة الموتر السائل.

رايتراكر بسيط مكتوب في Lean 4.

الملفات المصاحبة لـ Logical Verification 2020-2021 في VU Amsterdam.

HoTT in Lean 3.

مجموعة من معايير لغات البرمجة الوظيفية ومساعدي الإثبات.

تطبيق Lean-مستقل لرابط MM-Lean.