zerocopy icon indicating copy to clipboard operation
zerocopy copied to clipboard

Published 20 hours ago • verified publisher icon google

[proofs] Initial commit

Open joshlf opened this issue 1 year ago • 0 comments

Add axioms and lemmas which are useful in proving the soundness of some trait impls.

Makes progress on #429

joshlf avatar Nov 28 '23 17:11 joshlf