/integer-number-game

Create the integers as equivalence classes from pairs of natural numbers.

Primary LanguageLeanApache License 2.0Apache-2.0

integer-number-game

Create the integers as equivalence classes from pairs of natural numbers. Prove basic results about the resulting algebraic structure.