commit: 0f7b6d063c3338e8dcda2e84e1a0db21cf7524fe

[log]
author: Kim Morrison <kim@tqft.net>

Fri May 24 14:58:48 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri May 24 14:58:48 2024 +1000
tree: 009593b58599e7f66b93c3005388f16f73cb9c32
parent: e020f3d15967ed3ac26af5d243c1c276a7fb72f9 [diff]

chore(omega): better error if no facts found

src/Lean/Elab/Tactic/Omega/Frontend.lean[diff]
tests/lean/omega-failure.lean[Deleted - diff]
tests/lean/omega-failure.lean.expected.out[Deleted - diff]
tests/lean/run/omega.lean[diff]

4 files changed

tree: 009593b58599e7f66b93c3005388f16f73cb9c32

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