Function maj3_inv

tests/laws.py:71–79 · view source on GitHub ↗

(maj3, inv)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

bhv_propsFunction · 0.70

commutative3Function · 0.85

assume3Function · 0.85

invariant3_2Function · 0.70

invariant3Function · 0.70

associative3Function · 0.70

distributive3Function · 0.70

propagate3Function · 0.70

no test coverage detected