Who is lemma-lean for?

lemma-lean is an open-source project built for developers.

Yes — lemma-lean is open source under the MIT license and free to use.

What platforms does lemma-lean run on?

lemma-lean runs on the command line.

Is lemma-lean still maintained?

The GitHub repository shows 19 commits in the last 90 days.

What are alternatives to lemma-lean?

Similar projects tracked by PulseGate include isaac-acp, applyr, and cosmo-cli.

Who makes lemma-lean?

lemma-lean is developed by LeanOxide.

When did lemma-lean launch?

lemma-lean first shipped in 2025.

Back to the index

lemma-lean

Name: lemma-lean
Author: LeanOxide

PyPIInfrastructure

lemma-lean is a command-line toolchain manager for Lean 4, the interactive theorem prover and functional programming language. It simplifies installing, updating, and switching between different Lean4 versions and associated tools. Designed for mathematicians, computer scientists, and formal methods engineers working with Lean.

Open SourceMITCLI

Visit PyPI

Overview

3 features

lemma-lean is a CLI tools & terminal project. It focuses on managing and installing different versions of the Lean4 theorem prover toolchain. lemma-lean is an open-source project aimed at developers. The project is open source (MIT). It ships for the command line.

It is developed by LeanOxide, and it first shipped in 2025. Development happens publicly on GitHub with 19 commits in the last 90 days. Key capabilities include Toolchain Management, Version Switching, and Lean4 Support.

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

Toolchain Management
Version Switching
Lean4 Support

Built with & integrations

Runs on

CLI

Trust & compliance

License

MIT

Verified signals

HTTPSOpen Source GitHubActive maintenance

Indexing history

What PulseGate has recorded for this listing

Indexed3 Aug · 16:02 UTC
lemma-lean verified against its public source
Source: PulseGate · Open

Frequently asked questions about lemma-lean

What does lemma-lean do?: Lemma-lean focuses on managing and installing different versions of the Lean4 theorem prover toolchain. It is catalogued under CLI tools & terminal on PulseGate.
Who is lemma-lean for?: lemma-lean is an open-source project built for developers.
Is lemma-lean free?: Yes — lemma-lean is open source under the MIT license and free to use.
What platforms does lemma-lean run on?: lemma-lean runs on the command line.
Is lemma-lean still maintained?: The GitHub repository shows 19 commits in the last 90 days.
What are alternatives to lemma-lean?: Similar projects tracked by PulseGate include isaac-acp, applyr, and cosmo-cli.isaac-acp applyr cosmo-cli
Who makes lemma-lean?: lemma-lean is developed by LeanOxide.
When did lemma-lean launch?: lemma-lean first shipped in 2025.

At a glance

Platforms: Cli
Languages: English
Open source: Yes (GitHub)
License: MIT
Built for: developers
Model: Open source
Solves: Managing and installing different versions of the Lean4 theorem prover toolchain.

Registered as

GitHub: LeanOxide/lemma
PyPI: lemma-lean

Developer

LeanOxide

Solo developer

GitHub

Open source

View on GitHub

Stars: 0
Forks: 0
Open issues: 0
Last commit: 3 Aug 2026
Commits 90d: 19
Contributors: 1
Authorship: Solo
Default branch: main
Latest release: v0.2.0 · 3 Aug 2026

Live coverage

Identity confidence: Low · 64
Indexed: 3 Aug 2026
Lifecycle: Alive
Last seen: 3 Aug 2026

Identity audit (13)

Slug: lemma-lean-pypi-org
Lifecycle state recorded: 3 Aug 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 3 Aug 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: Written by a language model from the project's public pages.
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: 3 Aug 2026
Canonical URL: https://pypi.org/project/lemma-lean

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

Also in CLI tools & terminal

Same category — not a similarity match