reference-manual

Public

The Lean reference manual

Apache License 2.0

Updated Feb 2, 2026

Created Jul 1, 2024

102 stars

48 forks

13 watchers

117 open issues

Languages

Codebase composition by bytes

Top Contributors

DA david-christiansen

358 commits

39 commits

21 commits

17 commits

12 commits

10 commits

9 commits

8 commits

8 commits

6 commits

Recent Stargazers

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)196,362

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 14Closed Issues 86

Open Issues100

Activity Peak

Most recent day with highest activityFeb 2, 2026 • 11 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

reference-manual