Ferrocene is a specification but it’s not a formal specification. [Minirust](https://github.com/minirust/minirust) is the closest thing we have to a formal spec but it’s very much a work-in-progress.
It's a good enough spec to let rustc work with safety critical software, so while something like minirust is great, it's not necessary, just something that's nice to have.
steveklabnik|4 months ago
Ar-Curunir|4 months ago
the_why_of_y|4 months ago
I guess this is terminology confusion on behalf of Surac, who probably just wants a specification that is independent of the rustc implementation.