commit: 8e03913dad51faf51d21fe60d4619cfcda85771c

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Nov 13 12:15:04 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Nov 13 12:15:04 2025 -0800
tree: 29a7cfb48861ae8aa7e4e82007b6f36945cb12b0
parent: e13af83ad6def160d0adbd0f612ada7da405e30c [diff]

chore: `ppLine` after command `in`

src/Lean/Parser/Command.lean[diff]

1 file changed

tree: 29a7cfb48861ae8aa7e4e82007b6f36945cb12b0

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.