commit: 3c0b5660f13bc6f680c4b73dc236d71aa6702be7

[log]
author: Rob Simmons <rob@lean-fro.org>

Tue Sep 23 15:25:12 2025 -0400
committer: Rob Simmons <rob@lean-fro.org>

Tue Sep 23 15:25:12 2025 -0400
tree: c492bdc5c9876076f8d2dd664c95d872d165ef04
parent: d92cad0a93f46d1cc305a39b1dc105f8d05654ac [diff]

Printf debugging

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

1 file changed

tree: c492bdc5c9876076f8d2dd664c95d872d165ef04

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.