Ecosystem Vision Logo

Informalsystems

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.

Informal Systems

Informal Systems develops and stewards tools and initiatives for reliable digital infrastructure. It focuses on identifying structural problems in software and money, incubating solutions, and providing strategic oversight and governance. Its core initiatives are Quint, which helps teams specify, simulate, and verify complex systems, and Cycles, which is building clearing infrastructure intended to settle obligations more efficiently with less capital.
Explore Organization

Funding Rounds

Funding Round: Unknown
Funding Date: 7 Jun, 2023
Raised Amount: $5.3M
Funding Round: Unknown
Funding Date: 1 Jun, 2023
Raised Amount: $5.3M

Investors