thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / digama0/lean4lean

$ show digama0/lean4lean

[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)

112

JSON

3

Markdown

3

YAML

2

Other (no ext)

2

Git Ignore

1

TOML

1

Files by Type (size)

Other (.lean)

2MB

Markdown

17KB

Other (no ext)

11KB

YAML

6KB

JSON

1KB

TOML

613B

Git Ignore

7B

── HISTORY ──

Last analyzed: never

Next check: not scheduled