Mathematical Mayhem

In 'Mathematical Mayhem', you step into the shoes of a rogue mathematician in a parallel universe where math runs wild and silly theorems rule the land. Players navigate through a digitally chaotic world, engaging in outrageous mathematical challenges, battling absurd axioms, and outsmarting ghostly proofs that haunt the library of the great mathematicians. Use your cunning and Lean programming skills to prove or disprove increasingly absurd statements, like '2 + 2 = 6' while evading the Mathpolice who strive to maintain 'orderly mathematics'. With each success, you'll upgrade your theorem arsenal and unravel the mystery of the Math Contaminator - a rogue algorithm threatening the very fabric of mathematical truth!