Introducing Informal Systems

24-02-20206yr ago

Worker cooperative brings formal verification to Cosmos protocols and blockchain systems.