commit: e6b8bf48d5b4c44bb287e36bfd960dd9ae709363

[log]
author: Henrik Böving <hargonix@gmail.com>

Mon Jun 08 17:04:05 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Mon Jun 08 17:04:05 2026 +0000
tree: 603cbf14254ecf2e43e5a6492c0825070b505c75
parent: d265d1ca745e7741a7e7f7366c22ce9c9dda57b6 [diff]

chore: fix wrong assertions

src/include/lean/lean.h[diff]

1 file changed

tree: 603cbf14254ecf2e43e5a6492c0825070b505c75

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.