world Packages

1 packages published by world.

corev0.1.1

AILANG World's pure semantic core: the content-addressed world-graph types, the Z3-proven validity contracts, the pure transition functions and the log-epoch semantics. No effects.

experimentalPureworldsemantic-corepure