commit: 540d4a8abfab1e100aadaf8bf3136f75186e72df

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

Fri Jan 23 04:46:54 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Jan 23 04:46:54 2026 +0000
tree: dde6f48d28b5bb641c057c4ad1e9d3b6e7cdf1fd
parent: 567cf74f1b896850d7ed24c8e201f62ab7039c09 [diff]

chore: grind test file demonstrating interactive use

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

1 file changed

tree: dde6f48d28b5bb641c057c4ad1e9d3b6e7cdf1fd

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.