GitHub Analytics

GitHub Analytics

ShangtongZhang/

rl-theory-in-lean

Public

Towards Formalizing RL Theory

MIT License

Updated Feb 5, 2026

Created Nov 5, 2025

45 stars

1 forks

0 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

SH ShangtongZhang

6 commits

Recent Stargazers

SK skandermoalla

3 months ago

AL alirezakazemipour

3 months ago

3 months ago

3 months ago

3 months ago

3 months ago

EL elliotvilhelm

3 months ago

AL alirezanobakht13

3 months ago

3 months ago

3 months ago

Repository Complexity

Approximate file count and repository size.

Files45

Size (KB)103

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 0

Open Issues1

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.