commit: efeb9134c2865096a57fe0c432bd62643c2eab05

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

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

Fri Aug 22 21:49:23 2025 +1000
tree: 90c1f3e85741ff9ba496416cbe3b9c28c281cc05
parent: 962ba9649cde2fcdf8e8cd51bdb80af2d59de94a [diff]

chore: cleanup in Data/Rat

src/Init/Data/Rat/Lemmas.lean[diff]

1 file changed

tree: 90c1f3e85741ff9ba496416cbe3b9c28c281cc05

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.