commit: bd14fcebaabb143f803c2525a691eabcbe474c54

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

Fri Feb 13 20:45:58 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 13 20:45:58 2026 -0800
tree: 4b78ee8cba9fdaf8fd5be99b8aba42541f0b4a32
parent: 6f0f3885ec6cc8b70c8da2d85c329a6cf39f6ca5 [diff]

chore: remove attribute

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

1 file changed

tree: 4b78ee8cba9fdaf8fd5be99b8aba42541f0b4a32

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.