commit: 771743b89790843c8c86876067c78a64fba8b88f

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

Thu Dec 25 11:54:53 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Dec 25 11:54:53 2025 -0800
tree: 924c1e663fc20696fe09c9fde735398b5dc39555
parent: 73e45cd27157bada52746546d75f53f7abd9ff56 [diff]

chore: rename test

tests/lean/run/sym_getMaxFVar.lean[Renamed from tests/lean/run/getMaxFVar.lean - diff]

1 file changed

tree: 924c1e663fc20696fe09c9fde735398b5dc39555

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.