commit: 2e13fec4d1e41a6ccd4274227716a52f5ab538e2

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed May 13 12:49:58 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Wed May 13 12:49:58 2026 +0000
tree: baddcb3e59deed0312aa3af086654659ebd3b987
parent: 18fdf55bf6aa24d4be944e1b8786b0cff93cbdc5 [diff]

shoo

tests/bench/build/run_bench.sh[diff]

1 file changed

tree: baddcb3e59deed0312aa3af086654659ebd3b987

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.