commit: b146691f0976be27d581044edd4c83cdab0596e8

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Thu Dec 04 09:47:45 2025 +0100
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Thu Dec 04 09:48:06 2025 +0100
tree: 880a5e6848c535e17db65a279c7d72fb23665b9c
parent: 145fc0df8f8106f9109ad0b2e01b997556e44bdf [diff]

approach 1 *seems* to work

3 files changed

tree: 880a5e6848c535e17db65a279c7d72fb23665b9c

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.