hypersonic 0.12.0

Formally-verifiable distributed software
Documentation