# Theorem Landing Page Growth Score | YC P25

Lazyweb publishes a public search API over its indexed pages; the guide is at https://www.lazyweb.com/agent-access.

Source: https://www.lazyweb.com/yc-p25/theorem-2
Source observed: 2026-10-15T20:25:17.134Z
Last checked: 2026-10-17T10:06:06.102+00:00
Indexed: 2026-10-15T23:57:58.327+00:00

---

# Theorem Landing Page Growth Score

We track [Theorem](https://theorem.dev/) in the **YC P25** landing-page benchmark. The report's observation is dated **September 21, 2026** and gives Theorem a **Growth Score of 62/100**. Its weakest category is **CTA**.

## Overall ranking and category scores

Theorem ranks **#2** among the four compared companies:

1. [Harmonic — 64](https://www.lazyweb.com/growth-score/site/harmonic.fun)
2. Theorem — 62
3. [Axiom — 59](https://www.lazyweb.com/growth-score/site/axiommath.ai)
4. [Math Inc — 55](https://www.lazyweb.com/growth-score/site/math.inc)

[Fix CTA](https://www.lazyweb.com/plans/checkout?plan=individual&source=growth_score_feature_build_fixes)

| Category | Score |
|---|---:|
| CTA | [44](https://www.lazyweb.com/yc-p25/theorem-2#gs-cta) |
| Trust | [58](https://www.lazyweb.com/yc-p25/theorem-2#gs-trust) |
| Value props | [68](https://www.lazyweb.com/yc-p25/theorem-2#gs-value_props) |
| Mobile web | [70](https://www.lazyweb.com/yc-p25/theorem-2#gs-mobile_web) |
| Information hierarchy | [72](https://www.lazyweb.com/yc-p25/theorem-2#gs-information_hierarchy) |

## Score over time

- **September 21, 2026:** 62; live. Overall +2, Mobile web +12, Information hierarchy +4.
- [August 18, 2026](https://www.lazyweb.com/growth-score/history/2026-08-18): 60; Overall +1, Trust +10, Mobile web −10.
- [July 16, 2026](https://www.lazyweb.com/growth-score/history/2026-07-16): 59; Overall −1, CTA +4, Trust −4.
- [June 16, 2026](https://www.lazyweb.com/growth-score/history/2026-06-16): 60; Overall −1, Value props −6, CTA −2.
- [June 9, 2026](https://www.lazyweb.com/growth-score/history/2026-06-09): 61; Overall +2, Value props +6, CTA +2.
- [May 9, 2026](https://www.lazyweb.com/growth-score/history/2026-05-09): 59; Overall +17, Trust +27, Information hierarchy +20.
- [April 22, 2026](https://www.lazyweb.com/growth-score/history/2026-04-22): 42; first tracked report, strongest Information hierarchy 48 and weakest Trust 25.

## CTA — 44, Poor

We assess CTA copy, size, verb, and cost-feel. The report identifies these problems:

- No action verb; it reads as a label.
- No payoff or destination is implied.
- It is styled as a section header rather than a CTA.
- There is no capture or product entry point.

Theorem ranks **#3** for CTA:

1. Harmonic — 78
2. Axiom — 55
3. Theorem — 44
4. Math Inc — 42

[Rewrite this CTA](https://www.lazyweb.com/backlog?site=theorem.dev#opt-cta-writing) with the CTA rewrite studio, which generates primary and secondary options grounded in our offer and visitor objections.

## Trust — 58, Fair

Trust assesses proof that a product is real, competent, and safe to try.

| Company | Trust read |
|---|---|
| Theorem | “lf-lean is a verified translation from Rocq to Lean of all 1,276 statements in Logical Foundations, done by frontier AI” |
| Harmonic | No visible trust signal identified. |
| Axiom | No visible trust signal identified. |
| Math Inc | “Terry Tao, inaugural Veritas Fellow” headline link |

Theorem ranks **#1** for Trust at 58, tied with Math Inc at 58; Axiom scores 42 and Harmonic 38.

[Build proof section](https://www.lazyweb.com/backlog?site=theorem.dev#opt-trust-signals) to choose proof signals and copy placement.

## Value props — 68, Fair

The headline is:

> Theorem is building AI that is as capable at program verification as it is at writing Python.

What works:

- Falsifiable, specific claim.
- Research entries carry hard numbers.
- Zero buzzword abstraction.

What could improve:

- No visitor outcome is named.
- No subhead adds stakes or proof.
- The tagline “Verify all software” is hidden in the footer.

Theorem ranks #1 for Value props at 68, ahead of Harmonic and Math Inc at 58 and Axiom at 42.

## Mobile web — 70, Fair

![Mobile web annotations on the mobile capture](https://zlfyzdmohcskkucuunmk.supabase.co/storage/v1/object/public/sites/growth-score/site/theorem.dev-mobile.jpg?v=2026-09-21T03%3A15%3A59.093%2B00%3A00)

The mobile findings are:

1. **RESEARCH chip button:** the only button-styled element is a small section label, not a tappable full-width CTA.
2. **Truncated post summary:** a teaser cuts off mid-sentence (“to Lean ...”); the second post truncates too.

[View mobile fixes](https://www.lazyweb.com/backlog?site=theorem.dev#opt-mobile-web) for a prioritized implementation checklist.

## Information hierarchy — 72, Fair

![Information hierarchy annotations on the desktop capture](https://zlfyzdmohcskkucuunmk.supabase.co/storage/v1/object/public/sites/growth-score/site/theorem.dev.jpg?v=2026-09-21T03%3A15%3A59.093%2B00%3A00)

1. **RESEARCH badge:** the only button-styled element is a section label, not an action; the fold has no primary CTA.
2. **Left-half column layout:** content hugs the left half of the 1536px viewport, unbalancing the composition around the message.
3. **Two equal-weight post titles:** both article headlines have the same visual weight as the value proposition and compete for the first scan.

[View layout plan](https://www.lazyweb.com/backlog?site=theorem.dev#opt-information-hierarchy) to turn these callouts into a sequenced keep/move/merge/remove plan.

## Competitors

The report infers competitors from product, audience, and value proposition:

1. [Harmonic — harmonic.fun — 64](https://www.lazyweb.com/growth-score/site/harmonic.fun)
2. Theorem — theorem.dev — 62
3. [Axiom — axiommath.ai — 59](https://www.lazyweb.com/growth-score/site/axiommath.ai)
4. [Math Inc — math.inc — 55](https://www.lazyweb.com/growth-score/site/math.inc)

---

[Read this page’s summary](https://www.lazyweb.com/api/public/v1/page-tldr?url=https%3A%2F%2Fwww.lazyweb.com%2Fyc-p25%2Ftheorem-2&trace=t_bc7e1c4e5b07)

## Ask a follow-up about this page

Need a more specific answer? Ask the exact question you have. It returns a fresh, cited answer from Lazyweb’s knowledge base. No account or API key required.

Open this URL with your own question, URL-encoded. Only q is required. No account or setup.

`GET https://www.lazyweb.com/agent/faq?q={question}&trace=t_bc7e1c4e5b07`

[Tool guide and examples](https://www.lazyweb.com/agent-access) · [OpenAPI](https://www.lazyweb.com/api/public/v1/openapi.json) · [Page TLDR form](https://www.lazyweb.com/agent-tools/page-tldr?url=https%3A%2F%2Fwww.lazyweb.com%2Fyc-p25%2Ftheorem-2). Opening a form does not execute a tool.