leanprover-community

@leanprover-community

Pinned Loading

The math library of Lean 4

Lean 3k 1.1k
The user home repository for the Mathematics in Lean tutorial.

HTML 477 352
💧 Liquid Tensor Experiment

Lean 226 15
The "batteries included" extended library for the Lean programming language and theorem prover

Lean 364 139
White-box automation for Lean 4

Lean 343 50
Helper toolkit for creating your own Lean 4 UserWidgets

Lean 190 44

Showing 10 of 92 repositories

leanprover-community/queueboard’s past year of commit activity

AspectJ 0 Apache-2.0 0
0 0
Updated Mar 11, 2026
batteries Public
The "batteries included" extended library for the Lean programming language and theorem prover

leanprover-community/batteries’s past year of commit activity
blog Public
Source for the community blog

leanprover-community/blog’s past year of commit activity

Python
8 28 4 3
Updated Mar 11, 2026
mathlib4 Public
The math library of Lean 4

leanprover-community/mathlib4’s past year of commit activity
leanprover-community/leanprover-community.github.io’s past year of commit activity

CSS
74
MIT
173 18 7
Updated Mar 11, 2026
leanprover-community/mathlib-changelog’s past year of commit activity

Lean
14
MIT 0
3 0
Updated Mar 11, 2026
mathlib_stats Public
Display gitstats output on the mathlib website

leanprover-community/mathlib_stats’s past year of commit activity

Python
2 6 0 0
Updated Mar 11, 2026
leanprover-community/lean4game’s past year of commit activity

TypeScript
423
GPL-3.0
76 111 13
Updated Mar 11, 2026
leanprover-community/mathlib4-nightly-testing’s past year of commit activity

Lean
1
Apache-2.0
1,148 0 17
Updated Mar 11, 2026
mathlib-ci Public
Scripts and utilities to support the mathlib repository's CI/CD operations

leanprover-community/mathlib-ci’s past year of commit activity

Shell
2
Apache-2.0
1 0 1
Updated Mar 10, 2026