commit: 883a3e752d78cf0d30628817379a6001252b5595

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Tue May 07 11:44:56 2024 +1000
committer: GitHub <noreply@github.com>

Tue May 07 01:44:56 2024 +0000
tree: 7a3ab9ec051b97aa512b5d1bf5939f9ddb4f6c8c
parent: 03040618b8f9b35b7b757858483e57340900cdc4 [diff]

chore: allow omega to use classicality, in case Decidable instances are too big (#4073)

From bug report at
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/omega.20regression.20in.204.2E8.2E0-rc1/near/437150155

2 files changed

tree: 7a3ab9ec051b97aa512b5d1bf5939f9ddb4f6c8c

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