C2Rust is mentioned in the second paragraph of the related work section.