commit: 22bd393fdbad45c6b35ceaf54a01d6fc17a01f6f

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Sat Dec 16 17:30:41 2023 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Sat Dec 16 17:30:41 2023 +0100
tree: 73d71be4f7c2ac45276fe3c1f41691ac87ef0898
parent: b6a246dc1002519c5f1473b2d58f5884a087e0d6 [diff]

Update test

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

1 file changed

tree: 73d71be4f7c2ac45276fe3c1f41691ac87ef0898

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.