commit: 018084925b1762c66d7e50bf06f7b1a58d224139

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

Wed Jun 19 15:15:38 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jun 19 15:15:38 2024 +0200
tree: ad3a603554b1d62380f7b9761085f29f863022ef
parent: 726767b1212e31538aebe343906ea0ff0f30e30d [diff]

fix Nix

nix/buildLeanPackage.nix[diff]

1 file changed

tree: ad3a603554b1d62380f7b9761085f29f863022ef

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