commit: 9b7d1815352f5467fd74b4749e20465ae00a425e

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

Tue Feb 06 15:46:58 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Feb 06 15:47:23 2024 +0100
tree: b652850d7ad4c3ea9d5fe63a7da756076953eae3
parent: 1364157e91dcf26d9da2e20fe5bc39349c6433c0 [diff]

feat: introduce `Base`

nix/bootstrap.nix[diff]
src/Base.lean[Added - diff]
src/CMakeLists.txt[diff]
src/library/compiler/ir_interpreter.cpp[diff]
src/stdlib.make.in[diff]

5 files changed

tree: b652850d7ad4c3ea9d5fe63a7da756076953eae3

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.