commit: fddafdf3a27ad6ea4c94aab10f1a8c07a600f1f1

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

Tue Jun 24 05:37:36 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jun 24 05:37:54 2025 +0200
tree: 49906fe8009e08073eaefc1cb5b60190784b7f8d
parent: f9f16f374b6f80de95e5118d52d4d4f5840aa376 [diff]

chore: further algebra tests for grind

tests/lean/grind/algebra/nat.lean[Added - diff]
tests/lean/grind/algebra/nlinarith.lean[Added - diff]

2 files changed

tree: 49906fe8009e08073eaefc1cb5b60190784b7f8d

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.