4 employees
Statebox is building a compositional, visual, formally verified process language using category theory.
2017
