Generated docs for https://github.com/cqrs-on-erlang/cqrs-on-erlang-proofs