commit: 1a61b025fe21be953a5554c60ed1389bd58c5a8a

[log]
author: Kim Morrison <kim@tqft.net>

Fri Aug 22 21:34:31 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Aug 22 21:34:31 2025 +1000
tree: 85d65083207d618ba1f760a0bde6851b97664ee9
parent: 584ed5f33e8beec04277a6255b8902019213e927 [diff]

feat: theorems about Nat/Int/Rat needed for dyadics

5 files changed

tree: 85d65083207d618ba1f760a0bde6851b97664ee9

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.