3 ms·Introduction to Coq theorem proving using Rust static dispatch equivalency exampleby agluszak 4y agoIntroduction to Coq theorem proving using Rust static dispatch equivalency example