commit: 99f909a7287406bba2691374bdd13c8900bced38

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

Sun Jan 12 12:24:36 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 12 12:24:36 2025 -0800
tree: a8dbd5b4533738695fb7fccbb16bea9ee226cc91
parent: a070c1fdd6fa1b97973163deac02af7f60e3e542 [diff]

chore: minor

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

1 file changed

tree: a8dbd5b4533738695fb7fccbb16bea9ee226cc91

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