thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / abella-prover/abella

$ show abella-prover/abella

[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 (.thm)

67

TypeScript

45

Other (.ml)

44

Other (.mod)

33

Other (.sig)

33

Other (no ext)

12

JSON

7

Markdown

6

Other (.mli)

6

HTML

5

YAML

3

Git Ignore

3

Files by Type (size)

Other (.ml)

568KB

TypeScript

399KB

Other (.thm)

326KB

JSON

121KB

Markdown

43KB

HTML

39KB

Other (no ext)

38KB

CSS

35KB

Other (.mod)

21KB

Other (.mly)

20KB

Other (.mli)

15KB

Other (.mjs)

13KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled