commit: f8def4d82ce30f8dc445d96968977837106fb9bf

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

Tue Jul 29 04:40:50 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jul 29 04:40:50 2025 +0200
tree: c016400240de16a01dc20fd8f99b66da4cd33b7d
parent: 9399b2ee36343a7f71d6fc236fee098733f061f9 [diff]

chore: add failing grind test about exponents

tests/lean/grind/algebra/exponents.lean[diff]

1 file changed

tree: c016400240de16a01dc20fd8f99b66da4cd33b7d

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.