commit: 535335e40fb185c7e2d4d0f318a719096a03efaa

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

Mon Apr 07 13:50:00 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Apr 07 13:50:00 2025 +1000
tree: da370a9ccfa2746a6b2f3a055c599312c41fb3c2
parent: 8e4c38968f3ed8c25155bd2de591cab833994324 [diff]

chore: add failing grind tests about decide

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

1 file changed

tree: da370a9ccfa2746a6b2f3a055c599312c41fb3c2

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