Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage - View it on GitHub