LE

leanprover-community

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

Joined July 2018

728 Followers

0 Following

AI Insights & Achievements

45/ 100

Avg 114.7 stars per repo.

13 new projects with 22 stars.

Coding for 8 years.

Public Repos

86

Total Stars

9863

Total Forks

3107

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

January 14th, 2026 9:51 PM

January 12th, 2026 2:27 PM

GitHub Analytics