commit: 93b02a74a918ecfc58da934e43c31e4a69a72045

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

Thu May 29 21:27:21 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu May 29 21:27:21 2025 +1000
tree: 0ab5220ff6a877dab9c6da599572c551d057499c
parent: 2cbb74015b251557e7d7b65ceccd387e476870be [diff]

comment out test

tests/lean/run/grind_heartbeats.lean[diff]

1 file changed

tree: 0ab5220ff6a877dab9c6da599572c551d057499c

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.