← All startups

Cajal

Scaling formal verification to accelerate scientific discovery

2 people

YC Winter 2026B2B

caj.al LinkedIn Y Combinator profile

Team2

NameLocationLinksContact

Pedro Nobre

Founder

—

Luke Johnston

Employee

—

1–2 of 2