பிரபலமானவை: தரவு புதுப்பிக்கப்பட்டது: 27 அக்டோபர், 2026

பிரிவுகள்

இணையம்1,356
தகவல்தொடர்பு321
ஆடியோ மற்றும் வீடியோ898
கிராபிக்ஸ் மற்றும் டிசைன்539
ஆபீஸ் மற்றும் உற்பத்தித்திறன்1,124
டெவலப்பர் கருவிகள்3,134
AI கருவிகள்529
பாதுகாப்பு மற்றும் தனியுரிமை385
சிஸ்டம் கருவிகள்3,114
கேம்கள்523
கல்வி மற்றும் அறிவியல்239
நெட்வொர்க் மற்றும் IT284

Lean பழைய பதிப்புகள் – அனைத்துப் பதிப்புகளும்

Programming Language and Theorem Prover

Lean மென்பொருளின் 24 பதிப்புகள் இங்கே உள்ளன: 1 மே, 2025 முதல் தற்போதைய 4.35.0 வரை. ஒவ்வொன்றும் வெளியீட்டாளரின் சொந்த நிறுவிக் கோப்புகளுக்கு இணைப்பு தருகிறது.

2025: 10 10 25 2026: 14 14 26

ஓர் ஆண்டில் 24 பதிப்புகள் · ஆண்டுக்குச் சுமார் 17

பதிப்புதேதிஅளவுகோப்புகள்
4.35.0சமீபத்தியது 12 அக்டோபர், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 செப்டம்பர், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 செப்டம்பர், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 ஆகஸ்ட், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 ஆகஸ்ட், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 ஜூலை, 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 ஜூலை, 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 ஜூலை, 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 ஜூன், 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 மே, 2026 — 64-பிட் ZIP
வெளியீட்டுக் குறிப்புகள்
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 ஏப்ரல், 2026 — 64-பிட் ZIP
4.29.0 27 மார்ச், 2026 — 64-பிட் ZIP
4.28.0 16 பிப்ரவரி, 2026 — 64-பிட் ZIP
4.27.0 23 ஜனவரி, 2026 — 64-பிட் ZIP
4.26.0 13 டிசம்பர், 2025 — 64-பிட் ZIP
4.25.2 24 நவம்பர், 2025 — 64-பிட் ZIP
4.25.0 14 நவம்பர், 2025 — 64-பிட் ZIP
4.24.0 14 அக்டோபர், 2025 — 64-பிட் ZIP
4.23.0 14 செப்டம்பர், 2025 — 64-பிட் ZIP
4.22.0 14 ஆகஸ்ட், 2025 — 64-பிட் ZIP
4.21.0 30 ஜூன், 2025 — 64-பிட் ZIP
4.20.1 4 ஜூன், 2025 — 64-பிட் ZIP
4.20.0 2 ஜூன், 2025 — 64-பிட் ZIP
4.19.0 1 மே, 2025 — 64-பிட் ZIP

IDE மற்றும் கோட் எடிட்டர்கள் பிரிவில் மிகப் பிரபலமானவை

அனைத்தையும் பார்க்க
  1. OpenCodeIDE மற்றும் கோட் எடிட்டர்கள் · OpenCode
  2. RStudioIDE மற்றும் கோட் எடிட்டர்கள் · Posit Software
  3. Node.js (LTS)IDE மற்றும் கோட் எடிட்டர்கள் · Node.js Foundation
  4. Apache NetBeansIDE மற்றும் கோட் எடிட்டர்கள் · Apache NetBeans
  5. VSCodiumIDE மற்றும் கோட் எடிட்டர்கள் · VSCodium
  6. HaxeIDE மற்றும் கோட் எடிட்டர்கள் · Haxe Foundation
  7. ThonnyIDE மற்றும் கோட் எடிட்டர்கள் · Aivar Annamaa
  8. GDevelopIDE மற்றும் கோட் எடிட்டர்கள் · GDevelop Team
  9. mkcertIDE மற்றும் கோட் எடிட்டர்கள் · FiloSottile
  10. ProcessingIDE மற்றும் கோட் எடிட்டர்கள் · Processing Foundation

Lean FRO வழங்கும் பிற மென்பொருள்கள்

அனைத்தையும் பார்க்க

குறிச்சொற்கள்

பகிர்