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.

  • E
    ElanLean FRO
    Lean.Elanv4.2.3

    The Lean version manager

  • LeanLean FRO
    Lean.Leanv4.30.0

    Programming Language and Theorem Prover