The City of Proofs

In the City of Proofs, nothing is true until it is verified. The foundations of the buildings are mathematical axioms, and the bridges are constructed from rigorous logic.

The inhabitants are hackers and provers, dismantling the world to see how it works. They value elegance above all else, seeking the one-line solution to the complex problem.

"Quod Erat Demonstrandum," is carved into every stone.