ruma-lean 0.1.1

Formally verified, dependency-free Matrix State Resolution v2 logic.
Documentation 
1
2
3
4
5

import RumaLean.Bitwise
import RumaLean.DirectedAcyclicGraph
import RumaLean.Kahn
import RumaLean.StateRes
import RumaLean.TopologicalReduction