Back to Organizations
Informal Systems
Informal Systems is a remote-first company builder and incubator focused on fostering trust in software and money. It stewards and supports Quint, an executable-specification tool for verifying software behavior, and Cycles, infrastructure for multilateral financial clearing.
Distributed
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