Lean 4

All repositories

Overview

HEALTH SCORE

Healthy

80out of 100

Solid maintainer coverage and development cadence. Security posture keeps the score from reaching Excellent.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Healthy(80/100)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

Median response time is 1 day.

Bus factor

58 active maintainers currently have merge rights.

Organization Diversity

Contributors span 729 organizations.

Project Achievements

Leaderboards

About

Lean 4 is a functional programming language and interactive theorem prover developed by Microsoft Research and the Lean community. It combines powerful automation with expressive logic, enabling both mathematical theorem proving and general-purpose programming. The language features dependent types, metaprogramming capabilities, and a modern build system.

First commit

July 2013

Software value

$28M