$10M$50M
$10M$50M
$10M$50M
$10M$50M
$10M
$10M$50MInformal Systems uses 8 technology products and services including Docker, PostgreSQL, Dell, and more. Explore Informal Systems's tech stack below.
| Informal Systems Email Formats | Percentage |
| First@informal.systems | 90% |
| Last@informal.systems | 5% |
| First.Last@informal.systems | 2% |
| FirstLast@informal.systems | 3% |
Software DevelopmentOntario, Canada51-200 Employees
We are a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. We are a core contributor to the Cosmos Network and work on bold problems at the intersection of formal verification and high-value distributed infrastructure that powers the Cosmos Network, the Internet of Blockchains.
Company Overview
Funding & FinancialsInformal Systems has raised a total of $5.3M of funding over 1 rounds. Their latest funding round was raised on Jun 07, 2023 in the amount of $5.3M.
Informal Systems's revenue is in the range of $10M
Funding & FinancialsInformal Systems has raised a total of $5.3M of funding over 1 rounds. Their latest funding round was raised on Jun 07, 2023 in the amount of $5.3M.
Informal Systems's revenue is in the range of $10M
1-888-653-2347 
support@leadiq.com