leanprover की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
Lean 4 प्रोग्रामिंग भाषा और थ्योरम प्रूवर
लीन कंप्यूटर साइंस लाइब्रेरी (CSLib)
Lean वर्ज़न मैनेजर
