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
Opis producenta (angielski)
Czym jest Lean?
Program Lean wydaje Lean FRO. To oprogramowanie na Windows o otwartym kodzie źródłowym, kategoria „IDE i edytory kodu”. Język programowania: Lean.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Program działa bez instalacji (wersja przenośna).
Aktualizacje i historia wersji
Bieżąca wersja to 4.35.0, wydana 12 października 2026. Najstarsza wersja w katalogu pochodzi z 1 maja 2025. Łącznie: 24 wersje, wszystkie z linkami do oficjalnych plików. Tempo wydań: ok. 17 rocznie. Ostatnia aktualizacja ukazała się mniej niż miesiąc temu.
Popularność i typy plików
Kod źródłowy na GitHubie (leanprover/lean4) ma 9626 gwiazdek. Podobne programy: OpenCode, RStudio i Node.js (LTS).
Opis projektu na GitHubie: “Lean 4 programming language and theorem prover”
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
- Częste aktualizacje (ok. 17 rocznie)
- Duża liczba użytkowników
Wady
- Brak natywnej wersji ARM64
W skrócie: Lean to program na Windows o otwartym kodzie źródłowym z kategorii „IDE i edytory kodu”; wersje: 64-bit. Program jest regularnie aktualizowany.
Czy pobieranie programu Lean jest bezpieczne?
- Plik jest pobierany z domeny producenta (github.com)
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Otwórz raport VirusTotal dla tej sumy - Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Praktyki bezpieczeństwa (OpenSSF Scorecard)
Automatyczne testy repozytorium leanprover/lean4 na GitHubie, przeprowadzane przez Open Source Security Foundation; ostatni test: 19 października 2026.
- Aktywnie rozwijany10
- Brak niebezpiecznych workflow10
- Określona licencja10
- Brak plików binarnych w repozytorium10
- Przypięte zależności4
- Przegląd kodu1
- Ograniczone uprawnienia tokenów0
- Odznaka OpenSSF Best Practices0
- Polityka bezpieczeństwa0
- Fuzzing0
- Podpisane wydania0
- Statyczna analiza kodu0
Wynik ocenia sposób tworzenia i wydawania projektu, a nie to, czy instalacja programu jest bezpieczna. scorecard.dev
Najnowsze wersje
Wszystkie wersje (24) ›24 wersje w ciągu roku · ok. 17 rocznie
| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 4.35.0Najnowsza | 12 października 2026 | — | 64-bit ZIP |
| 4.34.1 | 24 września 2026 | — | 64-bit ZIP |
| 4.34.0 | 14 września 2026 | — | 64-bit ZIP |
| 4.33.1 | 21 sierpnia 2026 | — | 64-bit ZIP |
| 4.33.0 | 10 sierpnia 2026 | — | 64-bit ZIP |
| 4.32.2 | 28 lipca 2026 | — | 64-bit ZIP |
| 4.32.1 | 22 lipca 2026 | — | 64-bit ZIP |
| 4.32.0 | 13 lipca 2026 | — | 64-bit ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id Lean.Lean -ePliki programów (.exe): lean.exe, leanc.exe
Powiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Producent
- Lean FRO
- Kategoria
- IDE i edytory kodu
- Licencja
- Apache-2.0
- Cena
- Za darmo
- Kod źródłowy
- github.com/leanprover/lean4
- Język programowania
- Lean
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- Wersja przenośna
- Wersja
- 4.35.0
- Data wydania
- 12 października 2026
- Dodano do katalogu
- 6 maja 2025
- Wersje w katalogu
- 24
- Aktualizacje / rok
- 16,6
- Gwiazdki GitHub
- 9626
- Forki na GitHubie
- 1059
- Strona WWW
- lean-lang.org
- ID winget
- Lean.Lean
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Alternatywy dla programu Lean
Zobacz wszystkie ›-
Open source285,2 tys. ↓ -
Open source705,1 tys. ↓ -
Open source4,9 mln ↓ -
Open source88,8 tys. ↓ -
Open source49,7 tys. ↓ -
Open source394,5 tys. ↓ -
Open source79,2 tys. ↓ -
Open source94,6 tys. ↓
Najczęstsze pytania
Czy program Lean jest darmowy?
Tak. Lean to oprogramowanie open source na licencji Apache-2.0; można je pobrać i używać za darmo.
Czy pobieranie programu Lean jest bezpieczne?
Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Jak zainstalować program Lean przez winget?
Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.
Czy Lean działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Gdzie pobrać starsze wersje programu Lean?
Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (24), aż do 1 maja 2025.
Czy z programu Lean można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.
Jakie są alternatywy dla programu Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Strona alternatyw zawiera ich porównanie.
