commit: 7053950e3325ea7d2b6398143173b2efa2bbe8fd

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

Thu Jun 19 11:32:58 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Thu Jun 19 11:32:58 2025 +0200
tree: 22581342a28e3abde1f363db1d832c129a518cdc
parent: 11ee5bf3b1ff53003fdbf28d9af784f234a47652 [diff]

Save before commit

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

1 file changed

tree: 22581342a28e3abde1f363db1d832c129a518cdc

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.