commit: 6b0ff234b8abf2e91d22106401e07b93420d9895

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

Mon Apr 07 16:48:21 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 07 16:48:21 2025 -0700
tree: 6e82dd7e0de82e945cf0e36008e59762afe3a375
parent: e2351948a03d6038b75441164c4a97df826bc69c [diff]

chore: remove examples that are already working

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

1 file changed

tree: 6e82dd7e0de82e945cf0e36008e59762afe3a375

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