leanprover/lean4 · MMO ALL

MMO ALLBuild · Share · Earn

Home Community Projects Following GitHub Insight Opportunity Radar

/

Build · Share · Earn

Pages

About
Rules
Guide

Connect

© 2026 MMO ALL. All rights reserved.

leanprover/lean4 · MMO ALL

← Back to Insight

leanprover

leanprover

leanprover/lean4

Lean 4 programming language and theorem prover

Open on GitHub Project homepage

9,110

Stars

973

Forks

1,640

Open issues

9,110

Watchers

Apache-2.0

License

Lean

Language

Apr 15, 2018

Created

Sep 11, 2026

Last pushed

Not enough data yet

Star growth · 1 day

Not enough data yet

Star growth · 7 days

Not enough data yet

Star growth · 30 days

Topics

Stars over the last 90 days

Not enough history yet to draw a chart.