fault icon indicating copy to clipboard operation
fault copied to clipboard

Published 20 hours ago • verified publisher icon leonardt

Support X propagation style testing

Open leonardt opened this issue 5 years ago • 0 comments

It would be interesting to consider whether we can leverage formal to prove that Xs can't propagate.

leonardt avatar Jul 10 '19 18:07 leonardt