The Statebox Language

The Statebox language is built using a functional programming approach which utilizes, amongst other things, category theory, Petri nets, open games, logic programming and cryptography.

End-to-end correctness proofs are a fundamental design principle, not an afterthought and the core of the language is a mathematically minimalistic structure, aimed to facilitate reasoning about its behaviour.