Website Overview: informal.systemsopen_in_new

General information

Last Updated: 2024-05-09 (yyyy-mm-dd).

Title: Informal Systems Verifiable Distributed Systems Organizations

Description: 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

Language: English

Country: Canada

Address (Schema Markup): 180 John St, Toronto, Ontario, CA, M5T 1X5

Company

Name Organization

Informal Systems

Contact information

validator [at]informal.systems
audits [at]informal.systems

Social Links

X open_in_new: https://twitter.com/informalinc
Linkedin open_in_new: https://linkedin.com/company/informal-systems
Linkedin open_in_new: https://ca.linkedin.com/company/informal-systems
Linkedin open_in_new: https://ca.linkedin.com/company/informal-systems?trk=organization_guest_main-feed-card_feed-actor-image
Linkedin open_in_new: https://ca.linkedin.com/company/informal-systems?trk=organization_guest_main-feed-card_feed-actor-name
Linkedin open_in_new: https://ca.linkedin.com/company/informal-systems?trk=organization_guest_main-feed-card_feed-reaction-header
Linkedin open_in_new: https://ca.linkedin.com/company/informal-systems?trk=organization_guest_main-feed-card-text
Linkedin open_in_new: https://ch.linkedin.com/company/interchain-foundation?trk=similar-pages
Linkedin open_in_new: https://linkedin.com/company/allinbits?trk=similar-pages
Linkedin open_in_new: https://linkedin.com/company/noblexyz?trk=similar-pages
Linkedin open_in_new: https://linkedin.com/company/interchain-gmbh?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/racerocks3d?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/indiegraf-media?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/promise-robotics?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/samara-centre?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/biorender?trk=similar-pages
Linkedin open_in_new: https://ca.linkedin.com/company/waabi?trk=similar-pages

Services and technology that the website used

Vendor

Email Vendor: googlemail.com
Email Vendor: google.com
Email Service: mcsv.net

Related Websites

cometbft.com
cosmos.network
cycles.money
bamboohr.com
crunchbase.com