भाषा
श्रेणियाँ
कैटलॉग में Lean FRO के 2 Windows ऐप हैं। हाल में अपडेट हुआ: Lean 4.35.0। · lean-fro.org
IDE और कोड एडिटर · Lean FRO
Lean FRO