commit: 92906c8a42538b5783ab6bd14ff319b7bcab5f7b

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

Wed Jun 18 11:36:52 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 12:21:40 2025 +1000
tree: 82c5b431589d8f22296f3213c81fb85ca84d9f1b
parent: fc7a8479d5c1e90e73f70dbc1bd5df9406f62e52 [diff]

add test file

tests/lean/run/grind_prod.lean[Added - diff]

1 file changed

tree: 82c5b431589d8f22296f3213c81fb85ca84d9f1b

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.