3 ms·
That’s totally fair, it does make it sounds like I’m verifying the compiler’s implementation of it. However it is proving that making such a transformation betw
by BreakfastB0b 4y ago
That’s totally fair, it does make it sounds like I’m verifying the compiler’s implementation of it. However it is proving that making such a transformation between the two styles of static dispatch is always sound.
What would you have titled the blog instead to be less misleading?
- agluszak 4y agoIntroduction to Coq theorem proving using Rust static dispatch equivalency example