commit: 089dd05deb04ba5626a5c2682c778d9675b09cad

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

Fri Nov 29 18:08:45 2024 +0100
committer: Henrik Böving <hargonix@gmail.com>

Sun Dec 01 21:54:45 2024 +0100
tree: 0d47cd3dc36d7092a3bed67020fc6f4c4e3ddb5e
parent: 0a2a8e8aa41d4efdb6d71fec0d68aeaa7693bcb6 [diff]

chore: remove accidentally added file

debug.log[Deleted - diff]

1 file changed

tree: 0d47cd3dc36d7092a3bed67020fc6f4c4e3ddb5e

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