Populer: Data diperbarui 5 November 2026

Kategori

Internet1.369
Komunikasi322
Audio & video908
Grafis & desain548
Perkantoran & produktivitas1.133
Alat developer3.163
Aplikasi AI544
Keamanan & privasi394
Alat sistem3.152
Game531
Pendidikan & sains240
Jaringan & IT287

Download Lean 4.27.0

Programming Language and Theorem Prover

Terpopuler di IDE & editor kode

Lihat semua
  1. OpenCodeIDE & editor kode · OpenCode
  2. RStudioIDE & editor kode · Posit Software
  3. Node.js (LTS)IDE & editor kode · Node.js Foundation
  4. Apache NetBeansIDE & editor kode · Apache NetBeans
  5. VSCodiumIDE & editor kode · VSCodium
  6. HaxeIDE & editor kode · Haxe Foundation
  7. ThonnyIDE & editor kode · Aivar Annamaa
  8. GDevelopIDE & editor kode · GDevelop Team
  9. mkcertIDE & editor kode · FiloSottile
  10. ProcessingIDE & editor kode · Processing Foundation

Aplikasi lain dari Lean FRO

Lihat semua

Tag

Bagikan