commit: da52f53597df2a90558919f3391c3dc9400371fd

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

Sat May 31 15:06:08 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat May 31 15:06:08 2025 -0700
tree: 461189b8edd9eaa6e01672fa6dbb06cb27779945
parent: 936eb3d62e4da3127363153af0a012761c3fec40 [diff]

chore: adjust test

It is working now

tests/lean/grind/casting.lean[Deleted - diff]
tests/lean/run/grind_casting_issue.lean[Added - diff]

2 files changed

tree: 461189b8edd9eaa6e01672fa6dbb06cb27779945

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.