commit: 25cb8ecd9e929dc526d6b577bdbcc34cda381ccf

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

Sat Jan 31 15:14:22 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 31 15:14:42 2026 -0800
tree: b72952341181c0e967433e84467b5f944192a0cb
parent: 89c01c9e7e2ffc9d8e6ba3bc41f3fd31163e4b00 [diff]

chore: cleanup test

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

1 file changed

tree: b72952341181c0e967433e84467b5f944192a0cb

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.