The Proof Paradox

In a world where mathematics is the ultimate form of power, players take on the role of an eccentric mathematician caught in a conspiracy to protect the integrity of the 'Lean Verifications'—a registry of groundbreaking mathematical proofs. As they traverse through libraries, lecture halls, and secret underground societies, players must solve intricate puzzles and engage with quirky characters, all while uncovering the truth behind corrupted proofs that could change the structure of reality itself. The journey leads to ethical dilemmas, allegiances, and the ever-looming question: what happens when math becomes a weapon?