commit: d542ce45f95540a52f13631b236de558fc7b393a

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

Thu Aug 14 03:51:49 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Thu Aug 14 03:51:49 2025 +0200
tree: d08aeb47937b239c180c9a5434ce08dd259e0a62
parent: f8c743e37d993b3c95754e4865b88cab8fbea2ce [diff]

chore: missing doc-strings for grind typeclasses

src/Init/Grind/Ordered/Order.lean[diff]

1 file changed

tree: d08aeb47937b239c180c9a5434ce08dd259e0a62

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.