Что такое Informal System?

Informal Systems делают технологию формальных методов более доступной за счет разработки инструментов и процессов для повышения качества и опыта разработки программного обеспечения. Informal Systems являются основным разработчиком Cosmos Network, где Informal Systems сосредоточены на суверенных, совместимых, совместных технологиях для расширения возможностей более устойчивых сообществ.