commit: 49b595ba2fe309eaf7b125b6212fc3ff26a99bda

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

Wed Jul 31 11:44:03 2024 +0200
committer: GitHub <noreply@github.com>

Wed Jul 31 11:44:03 2024 +0200
tree: 310578b40038ab9762077ecc2387c6c509ea2eb1
parent: c61044922a10ce231326041b152ae4113b2907a4 [diff]

Update src/lake/Lake/Build/Module.lean

Co-authored-by: Mac Malone <tydeu@hatpress.net>

src/lake/Lake/Build/Module.lean[diff]

1 file changed

tree: 310578b40038ab9762077ecc2387c6c509ea2eb1

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