commit: 0c4232d21d2de803c2ba17e8070372687427efce

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

Sun Feb 09 13:18:20 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 09 13:18:20 2025 -0800
tree: 51b7dc1056afc2600022b443e933a2649381071a
parent: 873c7ed205d04c50cc343cd152579ab0e408e5fe [diff]

chore: fix test

Integer arithmetic has some builtin support now

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

1 file changed

tree: 51b7dc1056afc2600022b443e933a2649381071a

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).