Certified Compiler (bis)

I wanted to reply to the Certified Compiler subject, but it is closed. My question is: is there any work being done on formal verification of the Rust Compiler? (analog to CompCert)

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.