commit: c75d37f76bd5eca701dc67c1a19c8b7c50207712

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

Mon Sep 08 20:30:29 2025 -0700
committer: GitHub <noreply@github.com>

Tue Sep 09 03:30:29 2025 +0000
tree: 98441cfc8acb7718688873ca8d0eecea0cebadd3
parent: dd87739fc251a23f7ce3d8e7895688202aec69f7 [diff]

fix: no model-based theory combination on instances (#10314)

This PR skips model based theory combination on instances.

src/Lean/Meta/Tactic/Grind/MBTC.lean[diff]

1 file changed

tree: 98441cfc8acb7718688873ca8d0eecea0cebadd3

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.