/rational-number-game

Explore basic facts about the rational numbers with the Lean theorem prover.

Primary LanguageLeanApache License 2.0Apache-2.0

rational-number-game

Explore basic facts about the rational numbers with the Lean theorem prover.