commit: 29d006fafdabb361d91ece1b2c652dfe94940f74

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

Fri Aug 30 13:44:17 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Aug 30 13:44:17 2024 +0200
tree: 47477e068efc1cf54f0514c3fdafa70cea503b56
parent: 648239c6ecded8316ec45f4eb731bf6cb287e8ca [diff]

feat: pp.exprSizes

3 files changed

tree: 47477e068efc1cf54f0514c3fdafa70cea503b56

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