commit: 45953fb760672693cdf5d8eac6d6922fe0126586

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed May 08 15:22:47 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 08 15:25:41 2024 -0700
tree: a90a29d474e2e53eaab102d72b8e974ecac3e9f9
parent: 915a31208d1dfafa4bc88888289e27940cfa0a28 [diff]

chore: compilation error on nix

Try to fix compilation error

src/kernel/environment.cpp[diff]

1 file changed

tree: a90a29d474e2e53eaab102d72b8e974ecac3e9f9

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