⚡ Porting Lean to the ESP32-C3 RISC-V microcontroller
｢ Lean is a dependently typed pure functional programming language and a proof assistant, though in this article I will mostly be using it just as a programming language. Its compiler can either emit LLVM IR or C code ｣