Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Date
Company Name
|
Round | Money Raised | Industry | Lead Investor |
---|---|---|---|---|
Sep 22, 2022
Skip
|
Seed | $6.50M | Cryptocurrency | — |
Nov 22, 2021
Axelar
|
Series Unknown | — | Blockchain | — |