commit: 00d49016f55139ea4f95c35b3ef39c4866f51bcf

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

Wed Jan 15 18:03:38 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Jan 15 18:03:38 2025 +1100
tree: 86fd828ae7a2b12a21603c3f4e5ef3f9b8c4b0fc
parent: a955708b6c5f25e7f9c9ae7b951f8f3d5aefe377 [diff]

feat: more grind tests

tests/lean/run/grind_assoc.lean[Added - diff]
tests/lean/run/grind_list.lean[Added - diff]

2 files changed

tree: 86fd828ae7a2b12a21603c3f4e5ef3f9b8c4b0fc

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