Identi.ca
Login
Shakthi Kannan
at
2024-08-28T13:53:02Z
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