commit: c0b021e196e0f82ae51db12a771b18d2b9f69bfa

[log]
author: Mario Carneiro <di.gama@gmail.com>

Sun Oct 15 13:21:59 2023 -0400
committer: Leonardo de Moura <leodemoura0@gmail.com>

Sun Oct 15 14:25:00 2023 -0700
tree: f42a1dd08dc59cc8c8ee31d03d97886e9a09d84d
parent: 3e79ddda27c299a0e66fc996d52fa15fcf4421d8 [diff]

fix: pp projection indices starting at 1

src/library/print.cpp[diff]

1 file changed

tree: f42a1dd08dc59cc8c8ee31d03d97886e9a09d84d

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.