commit: bbe0ad656a63bedcf65e5146495f4c9bf672fae5

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 13 11:53:14 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 13 11:53:14 2024 +0200
tree: dcc218922a97b32c4d23f1a11a4480f34c4c6bcb
parent: 74f9dea7015467bee9010b93f7c384ede93dcf52 [diff]

fix: report info trees on cmdline for .ileans

src/Lean/Language/Lean.lean[diff]

1 file changed

tree: dcc218922a97b32c4d23f1a11a4480f34c4c6bcb

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