Shakthi Kannan

Shakthi Kannan at

coq-of-rust is a formal verification tool for Rust that checks for execution cases of your programs https://github.com/formal-land/coq-of-rust #Coq @Rust #Formal #Verification