“Epic Games aims for Verse to be the first mainstream programming language to fully adopt the principles of type theory, where types can express mathematical theorems and values can serve as proofs.”