commit: 9257ef42ba1b7361b9ff8e38cb6d453d87dc8af6

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

Thu Aug 07 15:56:42 2025 +1000
committer: GitHub <noreply@github.com>

Thu Aug 07 05:56:42 2025 +0000
tree: 9a824e57ad1e3984914d6fd563c91ee2da4de55f
parent: 63f899a407a4c4ccb19fdcdb827955e2651599fa [diff]

feat: extend grind category theory tests (#9780)

This PR extends the test suite for `grind` working category theory, to
help debug outstanding problems in Mathlib.

tests/lean/run/grind_cat.lean[diff]

1 file changed

tree: 9a824e57ad1e3984914d6fd563c91ee2da4de55f

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.