How much funding has Informal Systems raised?

Informal Systems has raised $5.3M in total funding, most recently a Series A round.

Who are Informal Systems's investors?

Informal Systems's investors include CMCC Global, Nascent, Maven 11 Capital.

When was Informal Systems founded?

Informal Systems was founded in 2019.

Where is Informal Systems headquartered?

Informal Systems is headquartered in Toronto, Canada.

What industry is Informal Systems in?

Informal Systems operates in Crypto & Web3, Developer Tools.

How many employees does Informal Systems have?

Informal Systems has 11-50 employees.

Informal Systems

Fostering Trust in Software and Money

Toronto, Canada · Founded 2019 · $5.3M raised

Crypto & Web3

Developer Tools

Headquarters: Toronto
Employees: 11–50
Founded: 2019
Business Model: B2B

Website: informal.systems
Total Funding: $5.3M
Last Round: $5.3M Series AJun 2022
Rounds: 1

About

Informal Systems is a company builder and incubator focused on advancing trust in foundational software and financial infrastructure, founded in 2019 and headquartered in Toronto. The company develops and stewards high-leverage tools including Quint, a formal specification and verification platform that helps software teams catch flaws early and ship code with confidence, and Cycles, which rebuilds clearing infrastructure to enable more debt to clear for more participants with less capital. Informal also provides blockchain infrastructure, protocol design services, and security audits for distributed systems.

Summary

Informal Systems is a Crypto & Web3 company based in Toronto, Canada, founded in 2019. It has raised $5.3M in total across 1 round, most recently a $5.3M Series A round in Jun 2022. Investors include CMCC Global, Nascent and Maven 11 Capital.

LinkedIn X (Twitter)GitHub