Wingetlywingetly
← 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.32.1

    Programming Language and Theorem Prover

  • E
    ElanLean FRO
    Lean.Elanv4.2.3

    The Lean version manager