# Informal Systems

- **Website:** <https://informal.systems>
- **Primary alias:** `informal.systems`
- **Founded:** 2019
- **Employees:** 11+
- **Location:** Toronto, Ontario, Canada
- **Company kind:** PRIVATELY HELD

## Description

Informal Systems is a brand that specializes in verifiable distributed systems and organizations. They offer a range of products and services that focus on software, money, and organizations. Their team of experts includes software engineers, research engineers, developers, and scientists who work together to develop and implement practical verification methods and tools, focusing on distributed systems and protocol specification. Informal Systems is committed to creating reliable computer systems and believes in the power of decentralization and consensus algorithms to promote social cohesion. They value simplicity and elegance in design and strive to empower humans with new ways to coordinate and reach agreement. Their team is dedicated to creating successful ecosystems by fostering collaboration and trust among all stakeholders. With a focus on formal methods and cutting-edge technologies like blockchain, Informal Systems is at the forefront of innovation in the field. They believe in the liberating potential of formal methods and aim to make them accessible to developers through intuitive interfaces and tooling.

## Industries

- 🖥 Programming and Developer Software _(under Computers Electronics and Technology)_
- 🖥 Computers Electronics and Technology

## Links

- [github](https://github.com/informalsystems)
- [linkedin](https://linkedin.com/company/informal-systems)
- [twitter](https://twitter.com/informalinc)

## Logos & icons

- logo _(primary)_ — PNG, SVG — [download](https://cdn.brandfetch.io/idWuE55mGT/w/820/h/301/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1788889465603)
- icon _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idWuE55mGT/w/400/h/400/theme/dark/icon.jpeg?c=1bxid64Mup7aczewSAYMX&t=1788889465727)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Nile Blue | #1a3a4a | accent |
| Willow Grove | #627362 | dark |
| White | #ffffff | light |

## Fonts

- var(--default-font-family — asset _(custom)_
- var(--font-sans) — asset _(custom)_

## Imagery

- banner _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idWuE55mGT/w/1500/h/500/idhSwL1XXW.jpeg?c=1bxid64Mup7aczewSAYMX&t=1788889465945)

---

_Source: <https://brandfetch.com/informal.systems>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._