anodized-core 0.2.1

Core interoperability for the Anodized correctness ecosystem
Documentation