commit: da33e537e266180da124f7af0c16504da3ce3bae

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

Tue Aug 26 22:21:24 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Aug 26 22:21:24 2025 +1000
tree: 115c601ee89fe14559ecb81e96afaa835b9bc635
parent: 82e49ffd124de5e95e7ff8b7755040120832173d [diff]

feat: lemmas about rounding dyadics

4 files changed

tree: 115c601ee89fe14559ecb81e96afaa835b9bc635

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.