thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / PhillipKerger/zero-order-bounds-lean-verification

$ show PhillipKerger/zero-order-bounds-lean-verification

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

77

YAML

5

Markdown

5

JSON

4

Other (no ext)

2

Git Ignore

1

Other (.Identifier)

1

TOML

1

Other (.pdf)

1

Files by Type (size)

Other (.lean)

751KB

Other (.pdf)

681KB

Markdown

74KB

YAML

18KB

JSON

3KB

TOML

532B

Other (no ext)

182B

Git Ignore

133B

Other (.Identifier)

25B

── HISTORY ──

Last analyzed: never

Next check: not scheduled