Giters

stanescuUW / rational-number-game

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rational-number-game

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

About

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

License:Apache License 2.0

Languages

Language:Lean 100.0%