commit: 63cee320901bde59f373ceab0bb69703099edfbd

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

Tue Jun 04 20:57:14 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 04 21:26:59 2024 -0700
tree: 41599fe19f7780d27a8d2608cdf501f1326af9af
parent: 7d92fd10f7b1b56ad39e9a80c7e08af1fe58672b [diff]

fix: ensure stage2 can be built

`split` now generates the more meaningful `isTrue` and `isFalse` tag

7 files changed

tree: 41599fe19f7780d27a8d2608cdf501f1326af9af

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