Statebox is building a formally verified programming language using robust mathematical principles to prevent errors, allow composability and ensure termination. In addition, the language is visual and allows one to inspect the flow of the process the program is executing. These properties make Statebox extra suitable for building, amongst other things, distributed systems, blockchains and process management systems.

To stay updated on the progress of the project, subscribe below.

Subscribe to our email list to stay up to date!