commit: 2a5373258f89a26c913f8860a15b163901071b0e

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

Thu Apr 17 08:36:22 2025 +1000
committer: GitHub <noreply@github.com>

Wed Apr 16 22:36:22 2025 +0000
tree: dea9dd4c9f3d7a66bbd18e58a4c11d09db2e0162
parent: d71e9cb96bb282888ae47597b8747ffd976350a4 [diff]

chore: add grind non-determinism repro (#7978)

This PR adds a repro for a non-determinism problem in `grind`.

tests/lean/grind/nondet.lean[Added - diff]

1 file changed

tree: dea9dd4c9f3d7a66bbd18e58a4c11d09db2e0162

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