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
![]() |
Seed | $6.50M | Cryptocurrency | — |
Nov 22, 2021
![]() |
Series Unknown | — | Blockchain | — |