commit: 620abc38c5a996223e5130c059fe2796ddc7ec42

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

Tue Apr 01 14:40:53 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Apr 01 14:40:53 2025 +1100
tree: 721d7f26fdce2c40b64fc20caa14b976119b0d9b
parent: 34142685a9bb94f8ee75941d17da6366c76b23b8 [diff]

chore: failing test cases for grind proving List lemmas

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

1 file changed

tree: 721d7f26fdce2c40b64fc20caa14b976119b0d9b

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