← All apps

Publisher

Lean FRO

2 Lean FRO apps indexed from the Windows Package Manager community repository. Every entry has a one-line install command and a silent variant for unattended deployment.

  • LeanLean FRO
    Lean.Leanv4.29.1

    Programming Language and Theorem Prover

  • E
    ElanLean FRO
    Lean.Elanv4.2.1

    The Lean version manager