Deploy Lean to Microsoft Intune
Published by Lean in Developer Tools
Programming Language and Theorem Prover
- Publisher
- Lean
- Homepage
- Visit publisher website
- License
- Apache-2.0
- Category
- Developer Tools
Deployment details
Values come from the WinGet community manifest. This app has not completed an IntuneGet QA run yet.
Recent versions
How deployment works
IntuneGet packages Lean as a Win32 app and uploads it directly to your Microsoft Intune tenant. You review the package settings, configure assignments, and start the deployment from one guided workflow.
