commit: 58c69909a1b1b8f497d79c3d1ff5f85c1ffd6ed3

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Wed Jun 25 14:46:44 2025 +1000
committer: GitHub <noreply@github.com>

Wed Jun 25 04:46:44 2025 +0000
tree: 17453075e31e13d4f4ffdab46a301abb1567bd4e
parent: 708c5f1d9a92d6b21d0f581bb45b8d486c66160b [diff]

feat: doc-strings for grind algebra classes (#8990)

This PR adds missing doc-strings for grind's internal algebra
typeclasses, for inclusion in the reference manual.

2 files changed

tree: 17453075e31e13d4f4ffdab46a301abb1567bd4e

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.