commit: f045ac1286a50ba8ed1016d2726a43d56f232814

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

Sat Jun 14 16:34:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 16:34:48 2025 -0700
tree: 80509aa29b071ff5c7298a8534cdf8aae16c460a
parent: 1d971c8735e5c958f67d2b4f209e57d65d2c675c [diff]

feat: enable `linarith` even if no order is available

7 files changed

tree: 80509aa29b071ff5c7298a8534cdf8aae16c460a

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.