Programmer-first intro to Clean for circuit devs, with formal verification basics and workflow tips, because debugging is so 2024.