thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / google-deepmind/formal-conjectures

$ show google-deepmind/formal-conjectures

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

1792

Markdown

16

Python

13

YAML

11

JSON

8

JavaScript

8

HTML

8

Other (no ext)

6

Other (.woff2)

4

TOML

3

CSS

3

Git Ignore

2

Files by Type (size)

Other (.lean)

6MB

Other (.woff2)

569KB

JavaScript

107KB

Python

84KB

Markdown

67KB

JSON

57KB

HTML

40KB

CSS

38KB

YAML

32KB

Other (no ext)

12KB

Other (.svg)

10KB

Text

4KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled