Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Description de l’éditeur (anglais)
Lean : présentation
Publié par Lean FRO, Lean fait partie des logiciels open source pour Windows de la catégorie « IDE et éditeurs de code ». Il est développé en Lean.
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions 64 bits de Windows. Il fonctionne sans installation (version portable).
Mises à jour et historique des versions
La version actuelle est la 4.35.0, sortie le 12 octobre 2026. L’historique compte 24 versions, la plus ancienne datant du 1 mai 2025, toutes reliées aux fichiers officiels. Cela représente environ 17 versions par an. La dernière mise à jour date de moins d’un mois.
Popularité et types de fichiers
Le code source publié sur GitHub (leanprover/lean4) compte 9 626 étoiles. Parmi les logiciels comparables figurent OpenCode, RStudio et Node.js (LTS).
Description du projet sur GitHub: “Lean 4 programming language and theorem prover”
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Portable : fonctionne sans installation
- Mises à jour fréquentes (environ 17 par an)
- Base d’utilisateurs importante
Points faibles
- Pas de version ARM64 native
En résumé: Lean est un logiciel open source de la catégorie « IDE et éditeurs de code », proposé pour les PC 64 bits. Il est maintenu activement.
Lean : le téléchargement est-il sûr ?
- Le fichier est servi par github.com, le domaine de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Pratiques de sécurité (OpenSSF Scorecard)
Vérifications automatiques du dépôt leanprover/lean4 sur GitHub, menées par l’Open Source Security Foundation ; dernière exécution le 19 octobre 2026.
- Maintenu activement10
- Aucun workflow dangereux10
- Licence déclarée10
- Aucun binaire dans le dépôt10
- Dépendances épinglées4
- Revue de code1
- Permissions des jetons restreintes0
- Badge OpenSSF Best Practices0
- Politique de sécurité0
- Fuzzing0
- Versions signées0
- Analyse statique du code0
Le score porte sur la manière dont le projet est développé et publié, et non sur la sûreté du programme à l’installation. scorecard.dev
Versions récentes
Toutes les versions (24) ›24 versions en 1 an · environ 17 par an
| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 4.35.0Dernière | 12 octobre 2026 | — | 64 bits ZIP |
| 4.34.1 | 24 septembre 2026 | — | 64 bits ZIP |
| 4.34.0 | 14 septembre 2026 | — | 64 bits ZIP |
| 4.33.1 | 21 août 2026 | — | 64 bits ZIP |
| 4.33.0 | 10 août 2026 | — | 64 bits ZIP |
| 4.32.2 | 28 juillet 2026 | — | 64 bits ZIP |
| 4.32.1 | 22 juillet 2026 | — | 64 bits ZIP |
| 4.32.0 | 13 juillet 2026 | — | 64 bits ZIP |
Installer en ligne de commande
Installation silencieuse ›winget install --id Lean.Lean -eFichiers programme (.exe): lean.exe, leanc.exe
Guide associé: Utiliser winget : installer et mettre à jour
Informations
- Éditeur
- Lean FRO
- Catégorie
- IDE et éditeurs de code
- Licence
- Apache-2.0
- Prix
- Gratuit
- Code source
- github.com/leanprover/lean4
- Langage
- Lean
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits
- Installateur
- Portable
- Version
- 4.35.0
- Date de sortie
- 12 octobre 2026
- Ajouté au catalogue
- 6 mai 2025
- Versions répertoriées
- 24
- Mises à jour par an
- 16,6
- Étoiles GitHub
- 9 626
- Forks GitHub
- 1 059
- Site officiel
- lean-lang.org
- Identifiant winget
- Lean.Lean
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Alternatives à Lean
Tout voir ›-
Open source285,2 k ↓ -
Open source705,1 k ↓ -
Open source4,9 M ↓ -
Open source88,8 k ↓ -
Open source49,7 k ↓ -
Open source394,5 k ↓ -
Open source79,2 k ↓ -
Open source94,6 k ↓
Questions fréquentes
Lean est-il gratuit ?
Oui. Lean est un logiciel open source distribué sous licence Apache-2.0.
Lean : le téléchargement est-il sûr ?
Le fichier est servi par github.com, un domaine qui appartient à l’éditeur ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
Comment installer Lean avec winget ?
Ouvrez PowerShell ou le Terminal Windows et exécutez la commande winget indiquée sur cette page. winget télécharge l’installateur officiel et vérifie son empreinte SHA256 avant de le lancer.
Lean fonctionne-t-il sur ARM (Windows on Arm) ?
Il n’existe pas de version ARM64 ; Windows 11 sur Arm peut exécuter la version 64 bits par émulation.
Où télécharger une ancienne version de Lean ?
La page des versions répertorie les 24 versions avec les liens vers leurs fichiers d’installation officiels, jusqu’à celle du 1 mai 2025.
Peut-on utiliser Lean sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
Quelles sont les alternatives à Lean ?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans et Haxe. La page des alternatives les compare.
