GitHub Analytics

GitHub Analytics

software-foundations-lean

Public

📚 (WIP) Rewriting Software Foundations in Lean 4

GNU Affero General Public License v3.0

Updated Feb 9, 2026

Created Jul 11, 2025

29 stars

4 forks

0 watchers

2 open issues

Languages

Codebase composition by bytes

Top Contributors

SI simnalamburt

14 commits

5 commits

MI migraine-user

3 commits

Recent Stargazers

SI simnalamburt

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

7 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)46

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 2Closed Issues 1

Open Issues3

Activity Peak

Most recent day with highest activityFeb 9, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.