commit: 8c0043f6468a11d88876d8504577fef51e6f9af7

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

Tue Jul 01 17:08:29 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 01 17:08:29 2025 +1000
tree: c4ea8a6f05484814dfd16ad3655dca5f05dc634a
parent: 52ab0141cd0fbb9696981e09f67db587a76dfb78 [diff]

chore: grind test case for matching Nat arguments

tests/lean/grind/algebra/hyperoperations.lean[Added - diff]

1 file changed

tree: c4ea8a6f05484814dfd16ad3655dca5f05dc634a

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.