“Epic Games aims for Verse to be the first mainstream programming language to fully adopt the "proofs as programs" approach (Curry-Howard correspondence), enabling compile-time verification of code correctness.”