Note from the editor
Formally verified process language. Find out more at https://statebox.org
Writers
Joshua Fitzgerald
Joshua is a mathematician, educator, cryptographer, and developer. He is a developer at Heliax working on the @anoma protocol.
Formally verified process language. Find out more at https://statebox.org
