Read news on Coq with our app.
Read more in the app
Coq: The World's Best Macro Assembler? (2013) [pdf]
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
