Lean FRO՝ ծրագրերի ներբեռնում

Կատալոգում կա Lean FRO մշակողի 2 Windows ծրագիր։ Վերջին թարմացումը՝ Lean 4.35.0։ · lean-fro.org