algebra.schema.json

Algebraic structures with verifiable properties for reliable distributed systems.