# Formal funding: rounds and investors

> Formal has raised $6.8M across 1 round since 2023. Investors include Y Combinator, Kima Ventures and Abstract Ventures. Every round with its source.

Source: https://millionrounds.com/company/formal (Millionrounds; every figure on the page links to its filing or article)

United States · [Seed startup](https://millionrounds.com/companies)

# Who invested in *Formal*

One round we have observed, with the 4 investors named in it. Every figure came from a named source, and where the company reported a raise to the SEC itself, that is shown beside it.

Cloud

Y Combinator: S20

Funding summary Updated 26 Oct 2026

**$6.8M** raised across 1 round since 2023, from 1 source

- **Latest round:** Seed, $6.8M Dec 2023
- **Investors:** 4

See who backed them

## The rounds

- **Dec 2023** Seed **$6.8M** [Y Combinator](https://millionrounds.com/fund/y-combinator) [Kima Ventures](https://millionrounds.com/fund/kima-ventures) [Abstract Ventures](https://millionrounds.com/fund/abstract) [Thrive Capital](https://millionrounds.com/fund/thrive-capital-2) Source recorded

## Everyone who backed them

[Y Combinator](https://millionrounds.com/fund/y-combinator) Accelerator **1** round

[Kima Ventures](https://millionrounds.com/fund/kima-ventures) VC firm **1** round

[Abstract Ventures](https://millionrounds.com/fund/abstract) VC firm **1** round

[Thrive Capital](https://millionrounds.com/fund/thrive-capital-2) Family office **1** round

Missing a round, or an investor who was in one? [Tell us](https://millionrounds.com/corrections?slug=formal).

## Quick answers about Formal

### Who invested in Formal?

Formal's investors include Y Combinator, Kima Ventures, Abstract Ventures and Thrive Capital.

### How much has Formal raised?

Formal has raised $6.8M across 1 round since 2023.

### When did Formal last raise?

Formal's most recent round was a Seed of $6.8M in Dec 2023.

### What was Formal's biggest round?

Its most recent round, $6.8M in Dec 2023, is also its largest on record.

### Who backed Formal first?

Formal's first round on record, in Dec 2023, was backed by Y Combinator, Kima Ventures and Abstract Ventures and 1 others.

### What stage is Formal at?

Formal's latest named round is a Seed, in Dec 2023.

### Where is Formal based?

Formal is based in the United States.

## Companies like Formal

In the same sector, and raised in the last eighteen months.

[**SpaceX** $42B · Oct 2026](https://millionrounds.com/company/spacex)[**Blacksmith** $131M · Oct 2026](https://millionrounds.com/company/blacksmith)[**Tasklet** $13M · Oct 2026](https://millionrounds.com/company/tasklet)[**VEIR** $185M · Oct 2026](https://millionrounds.com/company/veir)[**Namespace** $42M · Oct 2026](https://millionrounds.com/company/namespace)[**Lambda** $6.8B · Oct 2026](https://millionrounds.com/company/lambda)

## Find investors like these

Search every investor by what they have actually funded, then narrow to your stage and market. Free.

Open the investor searchOr these rounds in the app