ten

Ten formal algebra for machine intelligence — encode, decode, compose, and verify