commit: 60b2132b0d182801d957fa224663de5db21bb474

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

Sun Mar 16 12:55:34 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Mar 16 13:00:58 2025 -0700
tree: b86b3d8bfd8b595a95963b0e95a676b5876d56f2
parent: ae5db7f720554b6805151e79eb3853a774ed56c4 [diff]

test: examples that exposed the issue

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

1 file changed

tree: b86b3d8bfd8b595a95963b0e95a676b5876d56f2

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 (documentation source: doc/make/index.md).