commit: 1552aa0130ca8ef9b54eb2d4bd70356ccf3b7101

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

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

Tue Feb 06 15:54:05 2024 +0100
tree: 530dee0fa1da03252edc6785beefb79f1432929b
parent: 9b7d1815352f5467fd74b4749e20465ae00a425e [diff]

feat: auto-import `Base`

3 files changed

tree: 530dee0fa1da03252edc6785beefb79f1432929b

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.