commit: b27d3c39291c87558288a9b4dd62dcd981abb7f0

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

Thu Jun 26 17:16:24 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jun 26 17:16:24 2025 +1000
tree: ce5c4b830df979f6930f456836b220857dd8034a
parent: 94f48c3cece1ae46fb8ec64dd3d2426b2700b132 [diff]

chore: test integrated Mathlib CI

src/Init/GrindInstances/Ring.lean[diff]

1 file changed

tree: ce5c4b830df979f6930f456836b220857dd8034a

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.