INFORMAL SYSTEMS
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
INFORMAL SYSTEMS
Industry:
Blockchain Information Technology Software
Founded:
2019-01-01
Status:
Active
Technology used in webpage:
Viewport Meta IPhone / Mobile Compatible SPF SSL By Default Google Font API LetsEncrypt Apple Mobile Web Clips Icon Content Delivery Network Font Awesome Mobile Non Scaleable Content
Current Employees Featured
Founder
Investments List
| Date | Company | Article | Money raised |
|---|---|---|---|
| 2021-11-22 | Axelar | Informal Systems investment in Venture Round - Axelar | N/A |