A tour through Ferrocene development

Ferrocene is a downstream of the main Rust compiler - rustc - qualified for use in safety-critical systems, such as cars and planes. It is the first of its kind that is completely open source and does not diverge from its source codebase.

But what does that mean exactly? We'd like to take you through the documentation of Ferrocene - and with that, the ways the project works on its correctness.