commit: 8686ac91785c2af79c2f7fc6e30dac3715b232e0

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

Tue Jun 24 07:00:27 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jun 24 07:00:27 2025 +0200
tree: 6f981e4005133d34626b311fa3a53c1fdc6274c9
parent: 449bc31832604562dc46c203e110077eff8598a9 [diff]

chore: add @[expose] in Grind/Ring/Poly

src/Init/Grind/Ring/Poly.lean[diff]

1 file changed

tree: 6f981e4005133d34626b311fa3a53c1fdc6274c9

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.