commit: 89e1b4d304292a3619f7ccd4d5d6d05d1a960d2e

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 06 10:22:28 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 06 10:23:25 2024 -0700
tree: 5ed46658695d8d38f6b6bd63ca466505a674adff
parent: f8816b8c1513f8f15e7b4b5efe44eb97dcf88ebf [diff]

chore: reduce benchmark stack usage

We are running out of stack space in debug mode

tests/bench/dag_hassorry_issue.lean.args[diff]

1 file changed

tree: 5ed46658695d8d38f6b6bd63ca466505a674adff

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