I am going to show you how to compile a C++ program on Linux. I’ll demonstrate it on Ubuntu Desktop 23.04, I’ll use the tried and true Hello, World! app as an example.

It’s a formally verified compiler, meaning there is a mathematical proof that what you write in C will be correctly translated to machine code. The compiler can generate for PowerPC, ARM, RISC-V ...