thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / lean-dojo/FloatLib

$ show lean-dojo/FloatLib

[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)
CSV
4945
Other (.lean)
1342
Other (.log)
375
TSV
205
Text
156
Env
88
Other (.png)
78
Python
70
Shell
65
JSON
61
Markdown
58
Other (.svg)
50
Files by Type (size)
TSV
25MB
Other (.smt2)
22MB
CSV
18MB
Other (.log)
16MB
Other (.png)
11MB
Other (.stdout)
11MB
Other (.sqlite)
9MB
Other (.lean)
9MB
Other (.zip)
5MB
Other (.patch)
3MB
Other (.stream)
2MB
Other (.gz)
2MB
── HISTORY ──
Last analyzed: never
Next check: not scheduled
$ submit: