ruma-lean 0.1.3

Formally verified, dependency-free Matrix State Resolution v2 logic.
Documentation