commit: 31b65b1fee5157e7e520877ba30d3e3db6a7ef36

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

Thu May 09 17:51:47 2024 +0200
committer: GitHub <noreply@github.com>

Thu May 09 17:51:47 2024 +0200
tree: 61ef7a04afbdd29ab4c7292879b19ea76fa035cd
parent: 45953fb760672693cdf5d8eac6d6922fe0126586 [diff]

try exporting more symbols

2 files changed

tree: 61ef7a04afbdd29ab4c7292879b19ea76fa035cd

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