commit: e9fa72f7f0fe4514f7e6359bd801f0955c3deabc

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

Sun Jan 12 14:43:38 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 12 14:43:38 2025 -0800
tree: d2eff229ef742979c107ad1a22d1bcd42d033a87
parent: e65cc1d0e3eb6f8927f00b6fad9174f47c06ac51 [diff]

chore: adjust tests

Discrepancy between the behavior of `cases <term>`. The result depends
on whether `<term>` is a free variable or not. `<term> : a ∧ b`.

tests/lean/run/grind_pre.lean[diff]

1 file changed

tree: d2eff229ef742979c107ad1a22d1bcd42d033a87

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