thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / lean-dojo/TorchLean

$ show lean-dojo/TorchLean

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Other (.lean)

1471

Markdown

82

Python

42

JSON

32

Other (.png)

18

Other (.svg)

7

YAML

5

Text

5

C/C++ Header

4

HTML

4

Other (no ext)

3

C++

3

Files by Type (size)

Other (.png)

17MB

Other (.lean)

14MB

JSON

738KB

Markdown

655KB

Python

577KB

C++

139KB

C

31KB

SCSS

30KB

Shell

23KB

C/C++ Header

21KB

Other (.svg)

18KB

YAML

15KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled