Inductive Love: How Scala 3 Compiles Proofs, Two Steps at a Time!Using compile-time typechecking in Scala can validate if a number is even via inductive types.