commit: 06170670c3ed26c1ea66dfc778b530b43f2cbb14

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

Tue Nov 12 14:09:19 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 12 14:09:19 2024 +1100
tree: 57514f790d56fdb29923b10cead501efca25bba9
parent: 555462c04c1fe50610378d5a0a49f71861bcb8c3 [diff]

update expected output

tests/lean/funind_errors.lean.expected.out[diff]

1 file changed

tree: 57514f790d56fdb29923b10cead501efca25bba9

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