LAG

Public

Linear Algebra Game for Lean4

Updated Nov 7, 2025

Created Oct 16, 2023

4 stars

0 forks

5 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

1 commits

Recent Stargazers

over 1 year ago

over 1 year ago

5 months ago

3 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)37

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 1

Open Issues2

Activity Peak

Most recent day with highest activityJan 27, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics