commit: a978bc0f69550b034166c0bc366875ed43f6f811

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 21:25:32 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 21:25:32 2024 +1000
tree: 5b346987b4534367b957443c8a574b5c87f38d3b
parent: 280525f1fccbe2e08ef3032ac02af30ebdebf728 [diff]

chore: add doc-string for Prod.mk

src/Init/Prelude.lean[diff]

1 file changed

tree: 5b346987b4534367b957443c8a574b5c87f38d3b

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.