Cajal
Scaling formal verification to accelerate scientific discovery Status: Active. Batch: YC Winter 2026. HQ: San Francisco, CA, USA. Industry: B2B. https://caj.al/
Details
- city
- San Francisco
- cohort year
- 2026
- country
- United States
- exited
- false
- industry
- b2b
- one liner
- Scaling formal verification to accelerate scientific discovery
- status
- active
- team size
- 2
accelerator → invested in1
participated in → cohort1