commit: 37778a6fc3d9e8ba50f123df3b4bec02231f557e

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

Sat Jan 18 22:56:55 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Jan 18 22:56:55 2025 +1100
tree: f398c2e9271c382a3a8bfa4a614c0bd6e1d15874
parent: b7815b56843f5da8ce9d31bbf9d53a2f5ce2a85d [diff]

feat: egg test cases that fail under grind

tests/lean/run/grind_egg_2.lean[Added - diff]

1 file changed

tree: f398c2e9271c382a3a8bfa4a614c0bd6e1d15874

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