Zayden-Jung/lean-bench
2
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity
7 Commits 8 Branches 0 Tags
6e3322b0469036a68c18e8ac1fe5fec0b41b1b0f
Commit Graph

1 Commits

Author SHA1 Message Date
Zayden-Jung d2bbbacfa8 Add lean/README.md 2026-09-22 16:49:52 +00:00