commit: 94071bac5f6c3868be43701f6594ddcfdd509550

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

Thu Feb 29 17:21:48 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Feb 29 17:21:48 2024 +0100
tree: 5344f881cb9e685fba0f69a59e0aa12532ee054f
parent: f210958263289ea2fd7bf7be208a23af57982885 [diff]

Fix empty cross compilation

src/stdlib.make.in[diff]

1 file changed

tree: 5344f881cb9e685fba0f69a59e0aa12532ee054f

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.