Read news on Coq with our app.
Read more in the app
Coq-of-rust: Formal verification tool for Rust
Coq will be renamed into 'The Rocq Prover'
Translation of Rust's core and alloc crates to Coq for formal verification
