commit: ac0f4b91020baba5c5594545de16f1edcd0f6d65

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

Tue Sep 23 07:53:40 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Sep 23 07:53:40 2025 +0200
tree: db8d7ae22fcdfeefb76be9bed9cd5a2c7e18abaf
parent: 6a54e665871390775aca4e7ed892f6a86fa7b573 [diff]

comment out slow test

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

1 file changed

tree: db8d7ae22fcdfeefb76be9bed9cd5a2c7e18abaf

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.