commit: 208dcc655baf176a5ccb69f17a7ef22a89d28d86

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Nov 04 18:11:37 2025 -0500
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Nov 04 18:11:37 2025 -0500
tree: 55fa7f6f28c51bd98e862cd0d2ac14f4fbd45f37
parent: abb02c48334dfcf9c259f6828686e61eb8504c50 [diff]

fix: panic

src/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.lean[diff]

1 file changed

tree: 55fa7f6f28c51bd98e862cd0d2ac14f4fbd45f37

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.