Comment on Formally Verifying Rust's Opaque TypesparentComments−agluszak4yIntroduction to Coq theorem proving using Rust static dispatch equivalency example
Comments
Introduction to Coq theorem proving using Rust static dispatch equivalency example