commit: 8e33900da6d58fbdb02822a21d2b0b884f5c4143

[log]
author: Kim Morrison <kim@tqft.net>

Thu Apr 03 12:51:55 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Apr 03 12:51:55 2025 +1100
tree: c3eaa779d2883d269524ab941dc69da06c89801c
parent: 04d0a4db28720692f58dd44af3a0ea1f4d081ef0 [diff]

fix test

tests/lean/1870.lean[Deleted - diff]
tests/lean/1870.lean.expected.out[Deleted - diff]
tests/lean/run/1870.lean[Added - diff]

3 files changed

tree: c3eaa779d2883d269524ab941dc69da06c89801c

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