commit: 94f48c3cece1ae46fb8ec64dd3d2426b2700b132

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

Wed Jun 25 15:38:15 2025 +1000
committer: GitHub <noreply@github.com>

Wed Jun 25 05:38:15 2025 +0000
tree: a4b69ce1a7c687b5eeb6422052f7e9938a37d712
parent: 58c69909a1b1b8f497d79c3d1ff5f85c1ffd6ed3 [diff]

feat: add ToInt typeclasses for grind (#8991)

This PR adds some missing `ToInt.X` typeclass instances for `grind`.

There are still several more to add (in particular, for `ToInt.Pow`),
but I am going to perform an intermediate refactor first.

4 files changed

tree: a4b69ce1a7c687b5eeb6422052f7e9938a37d712

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.