ruma-lean 0.1.4

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