Who should use lean4ij?

lean4ij is an open-source project built for lean 4 developers using IntelliJ-based IDEs.

Yes — lean4ij is free to use.

What platforms does lean4ij run on?

lean4ij runs on the web, macOS, Windows, and Linux.

Is lean4ij still maintained?

Unverified. lean4ij has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to lean4ij?

Similar projects tracked by PulseGate include LSP4IJ, Leanpub, and Lens4j.

Back to the index

lean4ij

jetbrains.comOther dev tools

lean4ij is a plugin for IntelliJ-based IDEs that supports Lean 4 development. It provides an IDE environment for editing and working with Lean projects for developers and researchers in formal verification.

FreeWebmacOSWindowsLinux

Visit jetbrains.com

Overview

5 features

In the Other dev tools space, lean4ij takes a focused approach. It focuses on developing and working with Lean 4 projects inside IntelliJ-based IDEs. It is built as an open-source project for lean 4 developers using IntelliJ-based IDEs. lean4ij costs nothing to use. lean4ij is available on the web, macOS, Windows, and Linux.

lean4ij first shipped in 2025. Key capabilities include lean 4 support, syntax highlighting, and code completion.

Summary written by a language model from the project’s public pages.

Lean 4 support
Syntax highlighting
Code completion
Project support
Error reporting

Built with & integrations

Hosting

AWS

Connectors

vscode

Runs on

BrowsermacOSWindowsLinux

Detected from

AWS: x-amz-cf-id header · x-amz-cf-pop header · via header

Trust & compliance

Verified signals

HTTPSFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed9 Sept · 02:58 UTC
lean4ij verified via JetBrains Plugins
Source: JetBrains Plugins · Open

Frequently asked questions about lean4ij

What is lean4ij?: Lean4ij focuses on developing and working with Lean 4 projects inside IntelliJ-based IDEs. It is catalogued under Other dev tools on PulseGate.
Who should use lean4ij?: lean4ij is an open-source project built for lean 4 developers using IntelliJ-based IDEs.
Is lean4ij free?: Yes — lean4ij is free to use.
What platforms does lean4ij run on?: lean4ij runs on the web, macOS, Windows, and Linux.
Is lean4ij still maintained?: Unverified. lean4ij has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to lean4ij?: Similar projects tracked by PulseGate include LSP4IJ, Leanpub, and Lens4j.LSP4IJ Leanpub Lens4j
How long has lean4ij been around?: lean4ij first shipped in 2025.

At a glance

Platforms: Web
Languages: English
Built for: Lean 4 developers using IntelliJ-based IDEs
Model: Open source
Solves: Developing and working with Lean 4 projects inside IntelliJ-based IDEs.

Registered as

JetBrains Marketplace: 25104

Index record

Indexed: 9 Sept 2026
Lifecycle: Alive
Last seen: 9 Sept 2026

Identity audit (13)

Slug: lean4ij-jetbrains-com
Lifecycle state recorded: 9 Sept 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 9 Sept 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 9 Sept 2026
Canonical URL: https://plugins.jetbrains.com/plugin/25104-lean4ij

Ship this? Send a correction — no account, and you get a link to follow it.

Similar projects

Closest matches by what these projects do